Thorsten Altenkirch, Martin Hofmann 0001, John Hughes, editors, Dependently Typed Programming, 12.09. - 17.09.2004. Volume 04381 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2004. [doi]
Conference: Dagstuhl2004
@proceedings{dagstuhl-2004P4381,
title = {Dependently Typed Programming, 12.09. - 17.09.2004},
year = {2004},
url = {http://drops.dagstuhl.de/portals/04381/},
researchr = {https://researchr.org/publication/dagstuhl-2004P4381},
cites = {0},
citedby = {0},
booktitle = {Dependently Typed Programming, 12.09. - 17.09.2004},
conference = {Dagstuhl},
editor = {Thorsten Altenkirch and Martin Hofmann 0001 and John Hughes},
volume = {04381},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}