(** * 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}

*)

(** $Date$ *)

(* 2024-08-25 08:25 *)
