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.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Func Prog Podcast #13 with Matthías Páll Gissurarson | 0 | 163 | October 31, 2025 | |
| The Haskell Interlude: Episode 11 - Simon Peyton Jones | 0 | 525 | March 25, 2022 | |
|
The Haskell Interlude 20: Jesper Cockx
|
1 | 430 | January 23, 2023 | |
| An introduction to program synthesis (Part II) - Automatically generating | 0 | 164 | November 5, 2025 | |
| Simon Peyton Jones on how GHC type inference engine actually works | 0 | 467 | August 15, 2019 |