Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson
₹4,588
Two-Level Functional Languages
by Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen
₹4,626
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
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.
Description supplied by the publisher.
Book details
- ISBN-13
- 9780521018470
- ISBN-10
- 0521018471
- Authors
- Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen
- Publisher
- Cambridge University Press
- Condition
- New
More by Flemming Nielson and related titles
Language and Problems of Knowledge
Noam Chomsky
₹3,776
Formational Units in Sign Languages
Rachel Channon, H. C. Van De Hulst
₹4,780
Language, Sexuality, Narrative
Simon Goldhill
₹4,799
New Directions in English Language Corpora
Gerhard Leitner
₹4,674
Automaticity and Control in Language Processing
Antje Meyer, Linda Wheeldon, Andrea Krott
₹5,104
Historische Phonologie Des Niederländischen
Jan Goossens
₹4,639
First Language Acquisition
Eve V. Clark
₹4,199
Language in Literature
Michael Toolan
₹5,609
Phonological Representations
John Coleman, Coleman John
₹4,702
The Methodology of Field Investigations in Linguistics
A. E. Kibrik
₹4,793
Implementation and Application of Functional Languages
Marco T. Morazán, Sven-Bodo Scholz
₹5,505