programming-language-foundations/Bib.v at main · isergeyam/programming-language-foundations · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
(** * 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$ *)

(* 2020-09-09 21:08 *)