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.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Simon Peyton Jones on how GHC type inference engine actually works | 0 | 463 | August 15, 2019 | |
| The Haskell Interlude: Episode 11 - Simon Peyton Jones | 0 | 512 | March 25, 2022 | |
| Haskell Weekly podcast episode 11: Profiling performance | 1 | 322 | May 29, 2019 | |
| Haskell Wingman with Sandy Maguire | 0 | 464 | March 8, 2021 | |
| Book published: Property-Based Testing in a Screencast Editor | 0 | 397 | August 21, 2019 |