Introduction

Matthias Paul Giserarsen and Jimmy Cople talk about their work in program synthesis and program repair. In this episode they discuss generating properties using a new technique called ECTAs. The Haskell Interlude is hosted by Nicky Vasu, with occasional help from Jim Boulden on the production side of things.