[TYPES] TaPL Course?
Andreas Nuyts
andreasnuyts at gmail.com
Mon Dec 19 10:03:33 EST 2022
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:
https://urldefense.com/v3/__https://github.com/anuyts/agda-sessions__;!!IBzWLUs!VVdQCimkUObVjDW1CI1V2_kcHewEmae7Ry_alrqCQq6XESgAi54MWeKWEj0mO12hy2avYusU0aEvQachzxrmpFnznjbhMvi3JQ$
There's also a course project. It used to be a formalization of various
extensions of the STLC but now we're formalizing Web Assembly instead.
Best,
Andreas Nuyts
On 01.12.22 06:49, Robert Rand wrote:
> [ 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