[ 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
