Search

Home > The Haskell Interlude > 18: Matthias Pall Gissurarson & Jimmy Koppel
Podcast: The Haskell Interlude
Episode:

18: Matthias Pall Gissurarson & Jimmy Koppel
Category: Technology
Duration: 00:39:08
Publish Date: 2022-11-16 11:00:00
Description:

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.
Total Play: 0