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 → namin → Dot

namin / Dot

formalization of the Dependent Object Types (DOT) calculus

Labels

coqoop

Projects that are alternatives of or similar to Dot

Ceramist
Verified hash-based AMQ structures in Coq
Stars: ✭ 107 (-18.94%)
Mutual labels:  coq
Iron
Coq formalizations of functional languages.
Stars: ✭ 114 (-13.64%)
Mutual labels:  coq
Nest Cnode
CNode 社区 Nest 版本 https://cnodejs.org/
Stars: ✭ 125 (-5.3%)
Mutual labels:  oop
Oop
Interface and abstract class - simple and easy explanation
Stars: ✭ 109 (-17.42%)
Mutual labels:  oop
Fobis
FoBiS.py, Fortran projects Building System for poor people
Stars: ✭ 111 (-15.91%)
Mutual labels:  oop
Libmodule
C simple and elegant implementation of an actor library
Stars: ✭ 118 (-10.61%)
Mutual labels:  oop
Dev Stuff
😎 Programming stuff for everyone. Collection of articles, videos about architecture, Domain Driven Design, microservices, testing etc.
Stars: ✭ 105 (-20.45%)
Mutual labels:  oop
Frontend Hard Mode Interview
《前端内参》，有关于JavaScript、编程范式、设计模式、软件开发的艺术等大前端范畴内的知识分享，旨在帮助前端工程师们夯实技术基础以通过一线互联网企业技术面试。
Stars: ✭ 2,338 (+1671.21%)
Mutual labels:  oop
Novagram
An Object-Oriented PHP library for Telegram Bots
Stars: ✭ 112 (-15.15%)
Mutual labels:  oop
Low Level Design Primer
Dedicated Resources for the Low-Level System Design. Learn how to design and implement large-scale systems. Prep for the system design interview.
Stars: ✭ 2,706 (+1950%)
Mutual labels:  oop
Coqtail
Interactive Coq Proofs in Vim
Stars: ✭ 109 (-17.42%)
Mutual labels:  coq
Awesome Provable
A curated set of links to formal methods involving provable code.
Stars: ✭ 111 (-15.91%)
Mutual labels:  coq
Fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
Stars: ✭ 119 (-9.85%)
Mutual labels:  coq
Ergo
The Language for Smart Legal Contracts
Stars: ✭ 108 (-18.18%)
Mutual labels:  coq
Tempy
Python Object Oriented Html Templating System
Stars: ✭ 126 (-4.55%)
Mutual labels:  oop
Wp Rest Starter
Starter package for working with the WordPress REST API in an object-oriented fashion.
Stars: ✭ 105 (-20.45%)
Mutual labels:  oop
Coq Of Ocaml
Import OCaml programs to Coq 🐓 🐫
Stars: ✭ 117 (-11.36%)
Mutual labels:  coq
Cohesion
A tool for measuring Python class cohesion.
Stars: ✭ 129 (-2.27%)
Mutual labels:  oop
Geocoq
A formalization of geometry in Coq based on Tarski's axiom system
Stars: ✭ 128 (-3.03%)
Mutual labels:  coq
Python And Oop
Object-Oriented Programming concepts in Python
Stars: ✭ 123 (-6.82%)
Mutual labels:  oop
View All Similar Projects ➔

Dependent Object Types (DOT)

The DOT calculus proposes a new type-theoretic foundation for languages like Scala. The latest rules (PDF) are for a small-step storeless variant with full subtyping lattice, recursive types including their subtyping, and dependent method types. Here is the corresponding mechanized soundness proof.

From F to DOT in Small-Step:

Historical development:

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].