Talk
50:00
Secrets of Type Driven Program Synthesis
Secrets of type driven program synthesis
Speakers
Recorded at
Lambda Days 2021
Online
February 16, 2021
Secrets of type driven program synthesis