Gradual typing with unification-based inference
DLS '08 Proceedings of the 2008 symposium on Dynamic languages
Why teach programming languages in this day and age and how to go about it
ACM SIGPLAN Notices
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
From reduction-based to reduction-free normalization
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Lazy evaluation of PDE coefficients in the EScript system
AusPDC '10 Proceedings of the Eighth Australasian Symposium on Parallel and Distributed Computing - Volume 107
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Towards deriving type systems and implementations for coroutines
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Fault handling and recovery in decentralized services orchestration
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Strategies for preparing computer science students for the multicore world
Proceedings of the 2010 ITiCSE working group reports
Interruptible context-dependent executions: a fresh look at programming context-aware applications
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Higher-Order and Symbolic Computation
On the way of bottom-up designing textual domain-specific modelling languages
Proceedings of the 2013 ACM workshop on Domain-specific modeling
Hi-index | 0.00 |
This book provides students with a deep, working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract representation of the program text) to express the semantics of many essential language elements in a way that is both clear and executable. The approach is both analytical and hands-on. The book provides views of programming languages using widely varying levels of abstraction, maintaining a clear connection between the high-level and low-level views. Exercises are a vital part of the text and are scattered throughout; the text explains the key concepts, and the exercises explore alternative designs and other issues. The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press Web site. For this new edition, each chapter has been revised and many new exercises have been added. Significant additions have been made to the text, including completely new chapters on modules and continuation-passing style. Essentials of Programming Languages can be used for both graduate and undergraduate courses, and for continuing education courses for programmers.