Metadata

Source URL:: https://goto.ucsd.edu/~nvazou/presentations/facebook2016/04-termination.html
Topics:: #liquid-types, #termination, #soundness

Highlights