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.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
This website doesn't track the visitors or use any cookies. Made by Alex Barredo. Send your feedback to alex@barredo.es.
