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