Two-Level Functional Languages

Autor*innen

• Flemming Nielson
• Hanne Riis Nielson

Reihen

• Cambridge Tracts in Theoretical Computer Science

Parameter

• 312 Seiten
• 11 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 2005
• Einband: Paperback