“Type-Driven Program Synthesis” by Nadia Polikarpova
October 2018
Nadia Polikarpova: Liquid resource types for verification and synthesis
Curated as Program Synthesis.
Watch this talk on YouTube.
May 2020
Nadia Polikarpova: Liquid resource types for verification and synthesis
This talk presents a type system that combines Liquid Types with potential annotations from Automated Amortized Resource Analysis to enable fine-grained reas...
