The Haskell Interlude· Staffel 1· Folge 18
18: Matthias Pall Gissurarson & Jimmy Koppel
Mittwoch, 16. November 2022 · 39 min
Kapitelklicken springt direkt hin
Shownotes
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.
