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...

  • Program Synthesis

Share:

  • Twitter
  • Facebook
  • LinkedIn

Related Talks