Computing Publications

Publications Home » Simple Dependent Types: Concord

Simple Dependent Types: Concord

Sophia Drossopoulou, Paul Jolly, Christopher Anderson, Klaus Ostermann

Conference or Workshop Paper
ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004)
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.

Language Design
PDF of full publication (159 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.