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. {https://www.cis.upenn.edu/~bcpierce/papers/binders.pdf} Harper 2015 Practical Foundations for Programming Languages, by Robert Harper. Cambridge University Press. Second edition, 2016. {https://tinyurl.com/z82xwta} Mitchell 1996 Foundations for Programming Languages, by John C. Mitchell. MIT Press, 1996. {https://tinyurl.com/zkosavw} Nipkow 2014 Concrete Semantics with Isabelle/HOL, by Tobias Nipkow and Gerwin Klein. Springer 2014. {http://www.concrete-semantics.org} Pierce 2002 Types and Programming Languages, by Benjamin C. Pierce. MIT Press, 2002. {https://tinyurl.com/gtnudmu} 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. {https://dl.acm.org/citation.cfm?id=125848} Winskel 1993 The Formal Semantics of Programming Languages: An Introduction, by Glynn Winskel. MIT Press, 1993. {https://tinyurl.com/j2k6ev7}