The Haskell Interlude
This is the Haskell Interlude, where the five co-hosts (Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joachim Breitner) chat with Haskell guests!
The Haskell Interlude
18: Matthias Pall Gissurarson & Jimmy Koppel
•
Haskell Podcast
•
Season 1
•
Episode 18
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
In this episode Matthias Pall Gissurarson & Jimmy Koppel are interviewed by Wouter Swierstra and Niki Vazou. They talk about program synthesis, typed holes, program repair, and generating properties using a new technique called ECTAs.