
Sign up to save your podcasts
Or


Wouter Swierstra is a Math Bachelor’s from the University of Utrecht, has done his PhD with Thorsten Altenkirch at the University of Nottingham, did a post-doc at Chalmers, has experience in the industry working on facilitating the design of embedded system using FP and currently is a Professor at the University of Utrecht and co-host of the Haskell Interlude Podcast.
In this episode we talk about his trajectory into formal methods and functional programming. We talk about Datatypes a la Carte, the Expression Problem, Functional Pearls, Program Synthesis vs Program Calculation, and much more!
0:00 – Intro & Welcome
Wouter Website
Haskell Interlude
Advanced FP Summer School
ttforall twitch
ttforall store
Discount code for 10% off: typetheory
By Pedro Abreu4.8
1313 ratings
Wouter Swierstra is a Math Bachelor’s from the University of Utrecht, has done his PhD with Thorsten Altenkirch at the University of Nottingham, did a post-doc at Chalmers, has experience in the industry working on facilitating the design of embedded system using FP and currently is a Professor at the University of Utrecht and co-host of the Haskell Interlude Podcast.
In this episode we talk about his trajectory into formal methods and functional programming. We talk about Datatypes a la Carte, the Expression Problem, Functional Pearls, Program Synthesis vs Program Calculation, and much more!
0:00 – Intro & Welcome
Wouter Website
Haskell Interlude
Advanced FP Summer School
ttforall twitch
ttforall store
Discount code for 10% off: typetheory

380 Listeners

524 Listeners

289 Listeners

188 Listeners

4,147 Listeners

19 Listeners

489 Listeners

72 Listeners

13 Listeners

27 Listeners

3,124 Listeners

59 Listeners

193 Listeners

509 Listeners