[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi Robert, You might be interested in the "Types and Programming Languages" <https://urldefense.com/v3/__http://www.cs.cmu.edu/*fp/courses/15814-f21/__;fg!!IBzWLUs!XziYgKa-Uuca8ko4fRdlXlt_RzXFJBsybnlrX-d7qMvvr5KsG9NJaW6KIlYKfNHYdOZzVfy3djmP8cHwhRlY3S0$ > course we teach at CMU, for which I have written extensive notes that complement the textbook "Practical Foundations of Programming Languages" by Bob Harper. I also have a small implementation of a core language Lambda (which I am happy to share) so students can write, type-check, and run some concrete examples. The course is specifically designed as a "breadth" course in that it does not presuppose any prior experience in functional programming. - Frank On Sat, Dec 17, 2022 at 3:19 AM Robert Rand <rnr...@gmail.com> 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 > -- Frank Pfenning, Professor Computer Science Department Carnegie Mellon University Pittsburgh, PA 15213-3891 https://urldefense.com/v3/__http://www.cs.cmu.edu/*fp__;fg!!IBzWLUs!XziYgKa-Uuca8ko4fRdlXlt_RzXFJBsybnlrX-d7qMvvr5KsG9NJaW6KIlYKfNHYdOZzVfy3djmP8cHwsVPsMfs$ +1 412 268-6343 GHC 6017