collaborators

1 paper

cs.PL2017

A Simple Soundness Proof for Dependent Object Types

Marianna Rapoport, Ifaz Kabir, Paul He +1

Dependent Object Types (DOT) is intended to be a core calculus for modelling Scala. Its distinguishing feature is abstract type members, fields in objects that hold types rather th…