Two-Level Functional Languages |
|
| Author:
| Nielson, Flemming
Nielson, Hanne Riis |
| Contribution by:
| van Rijsbergen, C. J.
Abramsky, S.
Aczel, P. H.
de Bakker, J. W.
Gurevich, Y.
Tucker, J. V. |
| Series title: | Cambridge Tracts in Theoretical Computer Science Ser. |
| ISBN: | 978-0-521-01847-0 |
| Publication Date: | Aug 2005 |
| Publisher: | Cambridge University Press
|
| Book Format: | Paperback |
| List Price: | USD $58.99 |
Book Description:
|
Describes a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.
Describes a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.