list
Subject: RE: [EXTERNAL][TYPES] TaPL Course?
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi Robert,
You might be interested in the "Types and Programming Languages"
<https://urldefense.com/v3/__http://www.cs.cmu.edu/*fp/courses/15814-f21/_
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi Robert,
You might be interested in the "Types and Programming Languages"
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear Robert,
We have a Formal Systems course based on TAPL at KU Leuven.
In 2 practical sessions, the students learn how to use Agda and in the
third, they formalize Typed Arithmetic:
[ 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:
[ 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