Programming Language Theory: Difference between revisions
| Line 105: | Line 105: | ||
==Sources== | ==Sources== | ||
* Professor Spencer Rugaber's CS6390 "Theory and Design of Programming Languages". Georgia Tech, Fall 2009. | * Professor Spencer Rugaber's CS6390 "Theory and Design of Programming Languages". Georgia Tech, Fall 2009. | ||
* Hindley and Seldin. [http://www.amazon.com/Lambda-Calculus-Combinators-Introduction-Roger-Hindley/dp/0521898854 ''Lambda-Calculus and Combinators: An Introduction''], Second Edition. Cambridge University Press, 2008. | |||
* Goldberg. [http://www.brics.dk/RS/05/1/BRICS-RS-05-1.pdf "On the Recursive Enumerability of Fixed-Point Combinators"]. BRICS Report RS-05-1, January 2005. | * Goldberg. [http://www.brics.dk/RS/05/1/BRICS-RS-05-1.pdf "On the Recursive Enumerability of Fixed-Point Combinators"]. BRICS Report RS-05-1, January 2005. | ||
* Van Roy and Haridi. [http://www.amazon.com/Concepts-Techniques-Models-Computer-Programming/dp/0262220695 ''Concepts, Techniques and Models of Computer Programming'']. MIT Press, 2004. | * Van Roy and Haridi. [http://www.amazon.com/Concepts-Techniques-Models-Computer-Programming/dp/0262220695 ''Concepts, Techniques and Models of Computer Programming'']. MIT Press, 2004. | ||