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
Enlarge cover
Rate this book
Clear rating
Open Preview

Two Level Functional Languages

0.0 of 5 stars 0.00  ·  rating details  ·  0 ratings  ·  0 reviews
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)
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Two Level Functional Languages, please sign up.

Be the first to ask a question about Two Level Functional Languages

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-1 of 1)
filter  |  sort: default (?)  |  rating details
Christian marked it as to-read
Sep 16, 2014
There are no discussion topics on this book yet. Be the first to start one »
Principles of Program Analysis ML with Concurrency: Design, Analysis, Implementation, and Application Semantics With Applications: An Appetizer (Undergraduate Topics In Computer Science) Type and Effect Systems: Behaviours for Concurrency Semantics with Applications: A Formal Introduction

Share This Book