[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Robert and I have discussed this offline, but in case it is of interest to others, I have a GitHub repo that repackages the implementations from the course site as Dune projects and adds a REPL for playing with the type checkers interactively at https://urldefense.com/v3/__https://github.com/mspertus/TAPL__;!!IBzWLUs!WrDNkB_Fzfrh4n4XyZK8KHIa1TZ35D0kDmXEjGRX9gqD8L4mt1_BrWO6vIQhcVCnKYHHEY-fS8kf1hORutvxCPQb-x-0$ . You can use them directly on machines with ocaml and Dune 3 or use the included devfile to create a preconfigured development container if you don't want to mess around with installing prerequisites. The readme includes copious usage instructions. Mike -----Original Message----- From: Types-list <types-list-boun...@lists.seas.upenn.edu> On Behalf Of Frank Pfenning Sent: Tuesday, December 20, 2022 1:15 PM To: Robert Rand <rnr...@gmail.com> Cc: Types list <types-list@lists.seas.upenn.edu> Subject: RE: [EXTERNAL][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" <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