Haskell Interlude #79: Peter Thiemann

Author: mikesperber

podcast/79/index.markdown

@@ -0,0 +1,16 @@
+---
+title: Peter Thiemann
+episode: 79
+buzzsproutId: 18853260
+recorded: 2025-12-15
+published: 2026-03-23
+---
+
+In this Interlude, we're joined by Peter Thiemann.  Peter is a
+professor at the University of Freiburg, and he was doing functional
+programming right when Haskell got started. So naturally we asked him
+about the early days of Haskell, and how from the start Peter pushed
+the envelope on what you could do with the type system and
+specifically with the type classes, from early web programming to
+program generation to session types. Come with us on a trip down
+memory lane!

podcast/79/links.markdown

@@ -0,0 +1,13 @@
+- [Hope programming language](https://en.wikipedia.org/wiki/Hope_(programming_language))
+- [Gofer](https://web.cecs.pdx.edu/~mpj/goferarc/index.html)
+- [Yale Haskell](https://github.com/haskell-lisp/yale-haskell)
+- [Launchbury, Peyton Jones: Lazy Functional State Threads](https://dl.acm.org/doi/10.1145/178243.178246)
+- [Peyton Jones, Wadler: Imperative Functional Programming](https://dl.acm.org/doi/10.1145/158511.158524)
+- [Hughes: Generalising Monads to Arrows](https://www.haskell.org/arrows/biblio.html#Hug00)
+- [Thiemann: WASH/CGI: Server-Side Web Scripting](http://www2.informatik.uni-freiburg.de/~thiemann/papers/padl02.pdf)
+- [Thiemann: A Typed Representation for HTML and XML Documents in Haskell](http://www2.informatik.uni-freiburg.de/~thiemann/papers/modeling.pdf)
+- [Neubauer, Thiemann: An Implementation of Session Types](http://www2.informatik.uni-freiburg.de/~neubauer/papers/padl04.pdf)
+- [Thiemann: Program Generation with Class](http://www2.informatik.uni-freiburg.de/~thiemann/papers/generation.ps.gz)
+- [Augustsson et al.: The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming](https://dl.acm.org/doi/abs/10.1145/3607845)
+- [TreatJS: Higher-Order Contracts for JavaScript](https://proglang.informatik.uni-freiburg.de/treatjs/)
+- [Linear Types in Haskell](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/linear_types.html)