Data & IT
Two-Level Functional Languages
Flemming Nielson • Hanne Riis Nielson • Flemming Nielson • Hanne Riis Nielson
Inbunden
2209:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 869:-
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.
- Format: Inbunden
- ISBN: 9780521403849
- Språk: Engelska
- Antal sidor: 312
- Utgivningsdatum: 1992-07-16
- Förlag: Cambridge University Press