Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and Klaus
Ostermann
Simple dependent types: Concord
In ECOOP Workshop on Formal Techniques for Java Programs (FTfJP
2004), Oslo, Norway, June 2004
We suggest a simple model for a restricted form of dependent types in object oriented languages, whereby classes belong to groups and dependency is introduced via intra-group references using the MyGrp keyword. We show how our approach can code well-known examples from the literature, present the formal model and outline soundness of the type system.
[ bib |
.html |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43