@inproceedings{setzer:objectorientedprogrammingDepTypeTheoryPostProceedings:Tfp:2006,
author = {Anton Setzer},
title = {Object-oriented programming in dependent type theory},
editor = {Henrik Nilsson},
booktitle = {Trends in Functional Programming Volume 7},
publisher = {Intellect},
address = {Bristol and Chicago},
year = {2007},
pages = {91 -- 108},
available = { }
}