The book is currently out of stock
More about the book
The book introduces a novel framework that enhances the type notation used in functional programming languages by incorporating a specific notation to differentiate between run-time and compile-time behaviors. This extension aims to improve clarity and understanding of type systems, facilitating better programming practices and error detection in functional languages.
Book purchase
Two-Level Functional Languages, Flemming Nielson, Hanne Riis Nielson
- Language
- Released
- 2014
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Language
- English
- Authors
- Flemming Nielson, Hanne Riis Nielson
- Publisher
- Cambridge University Press
- Released
- 2014
- Format
- Hardcover
- Pages
- 312
- ISBN13
- 9780521403849
- Description
- The book introduces a novel framework that enhances the type notation used in functional programming languages by incorporating a specific notation to differentiate between run-time and compile-time behaviors. This extension aims to improve clarity and understanding of type systems, facilitating better programming practices and error detection in functional languages.