Pattern Calculus
Computing with Functions and Structures
-
- 119,99 €
-
- 119,99 €
Publisher Description
Pattern calculus is a new foundation for computation. This book introduces static and dynamic pattern calculus, supports a family of type systems for pattern calculi that build on novel typings of lamda-calculus, and details a new programming language, bondi.
GENRE
Computing & Internet
RELEASED
2009
30 July
LANGUAGE
EN
English
LENGTH
230
Pages
PUBLISHER
Springer Berlin Heidelberg
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
2.9
MB