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 6 - Graham Hutton | 1 | 726 | November 27, 2021 | |
|
The Haskell Interlude 20: Jesper Cockx
|
1 | 407 | January 23, 2023 | |
| Haskell Interlude 53: Garrett Morris | 5 | 581 | July 22, 2024 | |
| The Haskell Interlude: Episode 7 – José Calderón | 4 | 649 | January 11, 2022 | |
|
Haskell Interlude 48 – José Nuno Oliveira
|
1 | 402 | May 3, 2024 |