El libro está agotado actualmente
Más información sobre el libro
The book introduces a framework that enhances functional programming languages by incorporating binding time notation, allowing for a clearer distinction between run-time and compile-time. It extends lambda calculus with this distinction and presents methods for integrating run-time combinators. The mixed lambda-calculus and combinatory logic are explored, utilizing "parametrized semantics" for code generation and abstract interpretation. The focus includes a new abstract machine design and a generalized strictness analysis, which improves code generation efficiency.
Compra de libros
Two-Level Functional Languages, Flemming Nielson, Hanne Riis Nielson
- Idioma
- Publicado en
- 2005
- product-detail.submit-box.info.binding
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Idioma
- Inglés
- Autores
- Flemming Nielson, Hanne Riis Nielson
- Editorial
- Cambridge University Press
- Publicado en
- 2005
- Formato
- Tapa blanda
- Páginas
- 312
- ISBN13
- 9780521018470
- Descripción
- The book introduces a framework that enhances functional programming languages by incorporating binding time notation, allowing for a clearer distinction between run-time and compile-time. It extends lambda calculus with this distinction and presents methods for integrating run-time combinators. The mixed lambda-calculus and combinatory logic are explored, utilizing "parametrized semantics" for code generation and abstract interpretation. The focus includes a new abstract machine design and a generalized strictness analysis, which improves code generation efficiency.