Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

Simple Dependent Types: Concord

Author's version
concord_workshop.pdf

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

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