[TYPES] TaPL Course?

Alejandro Díaz-Caro alejandro at diaz-caro.info
Sat Dec 17 07:13:35 EST 2022


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 <rnrand at 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
>


More information about the Types-list mailing list