[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi Robert, I give a course at a degree in programming at Quilmes University, using typed lambda calculus. The webpage and notes (in Spanish) is here: https://urldefense.com/v3/__http://clp.web.unq.edu.ar/apuntes-y-practicas/__;!!IBzWLUs!XAPllmUn3YsWKjEpx23e80cVtUf6jfRHZp_x1BoCh6HDYQI2H6l5-PdbaijzRqcyEpv0KoEUIJVYhC1Mg4-z_tXDECi_9hmGGn4L$ However, the notes are mostly based on the following very nice book: G. Dowek & J.-J. Levy, Introduction to the theory of programming languages, Springer, 2011 Fell free to use the exercises or any material if it suits the topics you plan to cover. Best, Alejandro -- Sent from my mobile (i.e. sorry for the bad autocorrections) El sáb, 17 dic. 2022 05:20, Robert Rand <rnr...@gmail.com> escribió: > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > Hi, > > I was wondering who is teaching a programming languages course using Types > and Programming Languages? I'm planning on teaching such a course at > UChicago this Spring (March - June) and I'm looking for inspiration and > suggestions. If you're on the quarter system and/or have material you'd > like to share, that's especially welcome! > > Thanks! > Robert >
