Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
SPLASH 2019 (series) / OOPSLA Artifacts /

A Path to DOT: Formalizing Fully Path-Dependent Types

FunctionalAvailableReusable
Marianna Rapoport, Ondřej Lhoták
SPLASH 2019 OOPSLA Artifacts
https://doi.org/10.5281/zenodo.3366234
Marianna Rapoport
Marianna Rapoport
University of Waterloo
Canada
Ondřej Lhoták
Ondřej Lhoták
University of Waterloo
Canada