Bib: Bibliography

Resources cited in this volume

Aydemir 2008 Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich. Engineering Formal Metatheory. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco, California, pages 3-15. ACM, January 2008.
Harper 2015 Practical Foundations for Programming Languages, by Robert Harper. Cambridge University Press. Second edition, 2016.
Mitchell 1996 Foundations for Programming Languages, by John C. Mitchell. MIT Press, 1996.
Nipkow 2014 Concrete Semantics with Isabelle/HOL, by Tobias Nipkow and Gerwin Klein. Springer 2014.
Pierce 2002 Types and Programming Languages, by Benjamin C. Pierce. MIT Press, 2002.
Pugh 1991 Pugh, William. "The Omega test: a fast and practical integer programming algorithm for dependence analysis." Proceedings of the 1991 ACM/IEEE conference on Supercomputing. ACM, 1991.
Winskel 1993 The Formal Semantics of Programming Languages: An Introduction, by Glynn Winskel. MIT Press, 1993.