[TYPES] TaPL Course?

[Frank Pfenning]

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