Sveriges mest populära poddar

The Haskell Interlude

18: Matthias Pall Gissurarson & Jimmy Koppel

39 min • 16 november 2022

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.

Kategorier
Förekommer på
00:00 -00:00