[TYPES] TaPL Course?

[Spertus, Mike]

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-bounces at LISTS.SEAS.UPENN.EDU> On Behalf Of Frank Pfenning
Sent: Tuesday, December 20, 2022 1:15 PM
To: Robert Rand <rnrand at gmail.com>
Cc: Types list <types-list at 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 <rnrand at 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