Flemming Nielson, Hanne Riis Nielson

Two-Level Functional Languages

• Gebundenes Buch

Produktbeschreibung

This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 312
• Erscheinungstermin: 11. November 2014
• Englisch
• Abmessung: 250mm x 175mm x 21mm
• Gewicht: 720g
• ISBN-13: 9780521403849
• ISBN-10: 0521403847
• Artikelnr.: 29425556

Inhaltsangabe

1. Introduction
2. Types made explicit
3. Binding-time made explicit
4. Combinators made explicit
5. Parametrized semantics
6. Code generation
7. Abstract interpretation
8. Conclusions
Bibliography
Summary of transformation functions
Index.