18: Matthias Pall Gissurarson & Jimmy Koppel
The Haskell Interlude - Un pódcast de Haskell Podcast
Categorías:
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.
