Skip to content
Cart 
Register Sign in
Register Sign in Wishlist
Academic

Unlocking potential with the best learning and research solutions
Computational science

2019 International Conference on Functional Programming

When

18 August – 23 August 2019

Where

Berlin, Germany

website

https://conf.researchr.o...

The conference discount for the following titles is no longer available.

Available titles

Results

Refine results

Refine results

Clear all

Series

Format

Rating

  • (3)
  • (0)
  • (0)
  • (0)
  • (0)

Show me

Subscribe now

Save 20% on your next online purchase

Receive email alerts on new books, offers and news in 2019 International Conference on Functional Programming.

Results

Listing Grid
Found 25 Results
Page 1 of 2

This series contains other subjects. View the titles

  • Finite-State Techniques

    Finite-State Techniques

    Automata, Transducers and Bimachines

    Mihov, Stoyan
    Schulz, Klaus U.
    Published: August 2019

    £66.99

    Hardback

    Add to cart
  • An Invitation to Applied Category Theory

    An Invitation to Applied Category Theory

    Seven Sketches in Compositionality

    Fong, Brendan
    Spivak, David I.
    Published: July 2019

    £43.99

    Paperback

    Add to cart
  • The Haskell School of Music

    The Haskell School of Music

    From Signals to Symphonies

    Hudak, Paul
    Quick, Donya
    Published: October 2018

    £47.99

    Hardback

    Add to cart
  • Calendrical Calculations

    Calendrical Calculations

    The Ultimate Edition

    Reingold, Edward M.
    Dershowitz, Nachum
    Published: April 2018
    4th Edition

    (1 reviews)

    £37.99

    Paperback

    Add to cart
  • An Introduction to Description Logic

    An Introduction to Description Logic

    Baader, Franz
    Horrocks, Ian
    Lutz, Carsten
    (+ 1 other)
    Published: April 2017

    £37.99

    Paperback

    Add to cart
  • Picturing Quantum Processes

    Picturing Quantum Processes

    A First Course in Quantum Theory and Diagrammatic Reasoning

    Coecke, Bob
    Kissinger, Aleks
    Published: March 2017

    £84.99

    Hardback

    Add to cart
  • Groups, Languages and Automata

    Groups, Languages and Automata

    Holt, Derek F.
    Rees, Sarah
    Röver, Claas E.
    Published: February 2017

    £36.99

    Paperback

    Add to cart
  • Introduction to Coalgebra

    Introduction to Coalgebra

    Towards Mathematics of States and Observation

    Jacobs, Bart
    Published: October 2016

    £141.00

    Hardback

    Add to cart
  • Temporal Logics in Computer Science

    Temporal Logics in Computer Science

    Finite-State Systems

    Demri, Stéphane
    Goranko, Valentin
    Lange, Martin
    Published: October 2016

    £107.00

    Hardback

    Add to cart
  • Programming in Haskell

    Programming in Haskell

    textbook

    Hutton, Graham
    Published: September 2016
    2nd Edition

    (1 reviews)

    £34.99

    Paperback

    Add to cart Order inspection
  • Practical Foundations for Programming Languages

    Practical Foundations for Programming Languages

    Harper, Robert
    Published: April 2016
    2nd Edition

    £62.99

    Hardback

    Add to cart Order inspection
  • The Once and Future Turing

    The Once and Future Turing

    Computing the World

    Cooper, S. Barry
    Hodges, Andrew
    Published: March 2016

    £26.99

    Hardback

    Add to cart
  • Computation, Proof, Machine

    Computation, Proof, Machine

    Mathematics Enters a New Age

    Dowek, Gilles
    Guillot, Pierre
    Roman, Marion
    Published: May 2015

    £42.99

    Paperback

    Add to cart
  • Type Theory and Formal Proof

    Type Theory and Formal Proof

    An Introduction

    Nederpelt, Rob
    Geuvers, Herman
    Published: November 2014

    £66.99

    Hardback

    Add to cart
  • Thinking Functionally with Haskell

    Thinking Functionally with Haskell

    Bird, Richard
    Published: October 2014

    £44.99

    Paperback

    Add to cart
  • Program Logics for Certified Compilers

    Program Logics for Certified Compilers

    Appel, Andrew W.
    Published: June 2014

    £79.99

    Hardback

    Add to cart
  • Systematic Program Design

    Systematic Program Design

    From Clarity to Efficiency

    Liu, Yanhong Annie
    Published: August 2013

    £39.99

    Paperback

    Add to cart
  • Functional Programming Using F#

    Functional Programming Using F#

    Hansen, Michael R.
    Rischel, Hans
    Published: June 2013

    (1 reviews)

    £46.99

    Paperback

    Add to cart
  • Lambda Calculus with Types

    Lambda Calculus with Types

    Barendregt, Henk
    Dekkers, Wil
    Statman, Richard
    Published: June 2013

    £77.99

    Hardback

    Add to cart
  • Nominal Sets

    Nominal Sets

    Names and Symmetry in Computer Science

    Pitts, Andrew M.
    Published: May 2013

    £54.99

    Hardback

    Add to cart
Found 25 Results
Page 1 of 2

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon
×

Save 20% off on your next online purchase with Cambridge Alerts

Receive email alerts on new books, offers and news...

Subscribe

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.

Cancel

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×