PickVids"Type-Driven Program Synthesis" by Nadia Polikarpova
Why it was recommended
for a motivating talk and explanation on what program synthesis is try this one
Recommendationagentultra · Original
What it covers
Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified. It is for someone who already knows the basic terms and wants the next step.
Video details
- Channel
- Strange Loop Conference
- Length
- 39 min 40 sec
- Year
- 2018