Two-level functional languages /
Saved in:
| Author / Creator: | Nielson, Flemming, 1955- |
|---|---|
| Imprint: | Cambridge ; New York : Cambridge University Press, 1992. |
| Description: | xii, 299 p. ; 25 cm. |
| Language: | English |
| Series: | Cambridge tracts in theoretical computer science 34 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/1430371 |
Table of Contents:
- 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
