Goodreads helps you keep track of books you want to read.
Start by marking “Two Level Functional Languages” as Want to Read:
Two Level Functional Languages
The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time ...more
Hardcover, 312 pages
Published November 11th 2014 by Cambridge University Press
(first published July 31st 1992)
To see what your friends thought of this book, please sign up.