Pattern calculus : computing with functions and structures /

Pattern calculus : computing with functions and structures /

Saved in:
Bibliographic Details
Author / Creator:Jay, Barry.
Imprint:Berlin ; London : Springer, 2009.
Description:1 online resource (xvii, 213 p.) : ill.
Language:English
Subject:
Data structures (Computer science)
Functional programming (Computer science)
Lambda calculus.
Data structures (Computer science)
Functional programming (Computer science)
Lambda calculus.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/8890429
Hidden Bibliographic Details
ISBN:9783540891857
3540891854
Notes:Description based on print version record.
Summary:Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable for researchers with an interest in the foundations of computing, programming language design, the integration of existing programming styles, or the development of new programming styles.
Other form:Print version: Jay, Barry. Pattern calculus. Berlin ; London : Springer, 2009 9783540891840 3540891846

Similar Items

Similar Items