User Tools

Site Tools


it

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

it [2015/10/08 15:20] (current)
Line 1: Line 1:
 +====== Theoretical Computer Science ======
 +
 +  * M. Bartoletti (lecturer)
 +  * T. Cimoli (teaching assistant)
 +
 +\\
 +
 +===== Admin stuff =====
 +
 +== Contact: ==
 +
 +Massimo Bartoletti
 +
 +[[bart@unica.it]]
 +
 +Dipartimento di Matematica e Informatica - 070 675 8540
 +
 +(please send me an e-mail for an appointment)
 +
 +\\
 +
 +
 +===== Teaching material =====
 +
 +== Textbooks ==
 +
 +  * Roger Hindley and Jonathan Seldin. //​Lambda-calculus and Combinators -- an introduction//​. Cambridge University Press, 2008.
 +  * Benjamin Pierce. //Types and Programming Languages//​. MIT Press, 2002.
 +  * Guy Cousineau and Michel Mauny. //The functional approach to Programming//​. Cambridge University Press, 1998.
 +
 +== Electronic resources ==
 +
 +  * Henk Barendregt and Erik Barendsen. [[http://​citeseerx.ist.psu.edu/​viewdoc/​download;​jsessionid=80D93AD1E8E77B75DC642714720B3A68?​doi=10.1.1.46.9283&​amp;​rep=rep1&​amp;​type=pdf|Introduction to Lambda Calculus]].
 +  * Peter Selinger. [[http://​www.mscs.dal.ca/​~selinger/​papers/​papers/​lambdanotes.pdf|Lecture notes on the Lambda Calculus]].
 +  * Jean-Yves Girard. [[http://​www.paultaylor.eu/​stable/​prot.pdf|Proofs and Types]].
 +  * Simon Peyton-Jones. [[http://​research.microsoft.com/​en-us/​um/​people/​simonpj/​papers/​slpj-book-1987/​|The Implementation of Functional Programming Languages]].
 +
 +== Lab lectures ==
 +
 +  * [[untypedlambda|Normal order evaluation of λ-terms]]
 +  * [[untypedlambda-prog|Programming in the untyped λ-calculus]]
 +  * [[hofl_op_eager|Operational interpreter]]
 +  * [[hofl type inference|Type inference à la Hindley-Milner]]
 +
 +\\
 +
  
it.txt · Last modified: 2015/10/08 15:20 (external edit)