[TYPES] TaPL Course?

[ 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