Two-Level Functional Languages
- 312 pages
- 11 hours of reading
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.
