Two-Level Functional Languages
Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, Denmark) Nielson
Cambridge University Press, 1992
193,75 €On orderDelivery: 2-3 weeks
The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.
- ISBN-13
- 9780521403849
- ISBN-10
- 0521403847
- Publisher
- Cambridge University Press
- Year
- 1992
- Publication date
- 1992-07-16
- Pages
- 312
- Dimensions
- 244x170x19
- Weight
- 714