18: Matthias Pall Gissurarson & Jimmy Koppel
Nov 16, 2022•39 min•Season 1Ep. 18
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode 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.
For the best experience, listen in Metacast app for iOS or Android