Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen
₹4,626
Two-Level Functional Languages
by Flemming Nielson, Hanne Riis Nielson
₹4,588
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
- 9780521403849
- ISBN-10
- 0521403847
- Authors
- Flemming Nielson, Hanne Riis Nielson
- Publisher
- Cambridge University Press
- Condition
- New
More by Flemming Nielson and related titles
Language and the Declining World in Chaucer, Dante, and Jean de Meun
John M. Fyler
₹4,503
The Language of Children
Julia Gillen
₹2,562
New Media Language
Jean Aitchison, Diana Lewis
₹4,102
Handbook of Cognitive Linguistics and Second Language Acquisition
Peter Robinson, Nick C. Ellis
₹4,169
Translation and Conflict
Mona Baker
₹4,466
Linguistics
Andrew Radford, Martin Atkinson, David Britain
₹4,173
Translation Peripheries
Sara Rovira-Esteva, Anna Gil Bardaji, Pilar Orero
₹4,566
Evaluation of Cross-Language Information Retrieval Systems
Martin Braschler, Julio Gonzalo, Michael Kluck
₹5,378
Oxford Handbook of Sociolinguistics
Robert Bayley, Richard Cameron, Ceil Lucas
₹4,913
Semantic Web
Tassilo Pellegrini, Andreas Blumauer
₹2,779
Grammar, Gesture, and Meaning in American Sign Language
Scott K. Liddell, Liddell Scott K.
₹4,510