Programming Language Theory: Difference between revisions
| Line 109: | Line 109: | ||
* Pierce. [http://www.amazon.com/Types-Programming-Languages-Benjamin-Pierce/dp/0262162091 ''Types and Programming Languages'']. MIT Press, 2002. | * Pierce. [http://www.amazon.com/Types-Programming-Languages-Benjamin-Pierce/dp/0262162091 ''Types and Programming Languages'']. MIT Press, 2002. | ||
* Felleisen. [http://www.ps.uni-sb.de/courses/sem-prog97/material/YYWorks.ps "A Lecture on the ''Why'' of ''Y''"]. 1997. | * Felleisen. [http://www.ps.uni-sb.de/courses/sem-prog97/material/YYWorks.ps "A Lecture on the ''Why'' of ''Y''"]. 1997. | ||
* Winskel. [http://www.amazon.com/Formal-Semantics-Programming-Languages-Winskel/dp/0262731037 ''Formal Semantics of Programming Languages'']. MIT Press, 1993. | |||
* Hennessy. [http://www.cogs.susx.ac.uk/users/matthewh/semnotes.ps.gz ''Semantics of Programming Languages'']. Wiley, 1990. | * Hennessy. [http://www.cogs.susx.ac.uk/users/matthewh/semnotes.ps.gz ''Semantics of Programming Languages'']. Wiley, 1990. | ||
* Barendregt. [http://www.amazon.com/Lambda-Calculus-103-Second-Foundations/dp/0444875085 ''The Lambda Calculus: Its Syntax and Semantics''], Second Edition. North Holland, 1985. | * Barendregt. [http://www.amazon.com/Lambda-Calculus-103-Second-Foundations/dp/0444875085 ''The Lambda Calculus: Its Syntax and Semantics''], Second Edition. North Holland, 1985. | ||