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