cf82f49c by Ifaz Kabir

Initial commit with README.md

0 parents
Showing 1 changed file with 12 additions and 0 deletions
Extensions for Dependent Object Types
-------------------------------------
The DOT (Dependent Object Types) calculus by [Amin et al. (2016)](http://infoscience.epfl.ch/record/215280/files/paper_1.pdf) aims to formalizes Scala, specifically, abstract type members and path-dependent types.
This different folders of this repository contains extensions to DOT that aim to bridge the gap between DOT and Scala, and to experiment with new Scala features.
The extensions are based on the [simple](https://github.com/amaurremi/dot-calculus/tree/master/src/simple-proof) type-safety proof, which we started as a fork of the [original](https://github.com/samuelgruetter/dot-calculus) proof as presented by Amin et al. (2016).
If you want to understand the DOT safety proof, or are interested in creating your own extensions to DOT, you can read our [OOPSLA](https://plg.uwaterloo.ca/~olhotak/pubs/oopsla17.pdf) paper, and check out the corresponding [Coq](https://github.com/amaurremi/dot-calculus/tree/master/src/simple-proof) proof.
## Extensions