Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
designational expression, letrec list, postponement theorem, applicative types, imperative sublanguage, switch designator, applicative information, quantifier removal, bound pair list, integer exp, applicative computations, left part list, actual parameter part, switch declaration, imperative observers, switch identifier, imperative domain, applicative expressions, function designator, subscript bounds, applicative terms, compound tail, simple imperative language, stack discipline, parameter delimiter
Key Phrases - Capitalized Phrases (CAPs):
(learn more)
Computer Science, Lecture Notes, New York, Evan Ireland, Matthias Felleisen, Vipin Swarup, Principles of Programming Languages, Acta Informatica, Christopher Strachey, Cambridge University Press, Syracuse University, Carnegie Mellon University, Category-Theoretic Approach, Logics of Programs, Oxford University Computing Laboratory, Prentice-Hall International, Programming Research Group, Computer Society Press, Proceedings of the International Symposium, The Craft of Programming, Cmd Bool, Dana Scott, Electronic Notes, Eleventh Annual Conference, Englewood Cliffs
New!
Books on Related Topics |
Concordance
|
Text Stats
Browse Sample Pages:
Front Cover |
Table of Contents |
First Pages |
Back Cover |
Surprise Me!