GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → samuelgruetter → dot-calculus

samuelgruetter / dot-calculus

Licence: other
Formalization of the Dependent Object Types (DOT) calculus

Programming Languages

Coq
218 projects

Dependent Object Types (DOT)

The DOT calculus proposes a new foundation for Scala's type system.

DOT has been presented at the FOOL 2012 workshop (PDF).

We now have several mechanized type safety proofs. This repo implements the wadlerfest model in Coq, based on previous work in the namin/dot and TiarkRompf/minidot repos.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].