Simple Dependent Types: Concord

by Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and Klaus Ostermann

In Workshop on Formal Techniques for Java-like Programs at ECOOP 2004, 2004.

Citation as BibTeX

@inproceedings{jolly04simple,
  author = {Jolly, Paul and Drossopoulou, Sophia and Anderson, Christopher and Ostermann, Klaus},
  title = {Simple Dependent Types: Concord},
  booktitle = {Workshop on Formal Techniques for Java-like Programs at ECOOP 2004},
  year = {2004},
  url = {http://www.informatik.uni-marburg.de/%7ekos/papers/concord_workshop.pdf}
}