Re: [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"

Re: [TYPES] TaPL Course?

[ 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: