ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "18: Matthias Pall Gissurarson & Jimmy Koppel"
Episode Synopsis
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.
More episodes of the podcast The Haskell Interlude
73: Jean-Philippe Bernardy
13/11/2025
72: Manuel Chakravarty
30/10/2025
71: Stefan Wehr
16/10/2025
70: Phil Wadler
14/09/2025
69: Jurriaan Hage
25/08/2025
68: Michael Snoyman
12/08/2025
67: Alex McLean
07/07/2025
66: Daniele Micciancio
24/06/2025
65: Andy Gordon
30/05/2025
64: Sandy Maguire
23/04/2025
In God we trust