Commit 52349a8b authored by Ifaz Kabir's avatar Ifaz Kabir

README.md: Added description of kDOT

parent 4bb9fc79
......@@ -14,3 +14,5 @@ If you want to understand the DOT safety proof, or are interested in creating yo
We currently provide the following extensions:
- [κDOT](https://git.uwaterloo.ca/ikabir/dot-public/tree/master/kDOT)
([paper](http://doi.acm.org/10.1145/3241653.3241659))
an extension of DOT with field mutation using bounded field types and dependent constructors for object creation
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment