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 | |
|---|---|---|---|---|
| The Haskell Interlude: Episode 11 - Simon Peyton Jones | 0 | 511 | March 25, 2022 | |
|
The Haskell Interlude 20: Jesper Cockx
|
1 | 409 | January 23, 2023 | |
| Simon Peyton Jones on how GHC type inference engine actually works | 0 | 459 | August 15, 2019 | |
| An introduction to program synthesis | 0 | 164 | September 12, 2025 | |
| [Dream] Toward another compiler? | 28 | 4390 | October 2, 2023 |