%0 Conference Paper %1 conf/dagstuhl/Altenkirch0H04 %A Altenkirch, Thorsten %A Hofmann, Martin %A Hughes, John %B Dependently Typed Programming %D 2004 %E Altenkirch, Thorsten %E Hofmann, Martin %E Hughes, John %I Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T 04381 Abstracts Collection - Dependently Typed Programming. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P4381.html#Altenkirch0H04 %V 04381

@inproceedings{conf/dagstuhl/Altenkirch0H04, added-at = {2022-03-16T00:00:00.000+0100}, author = {Altenkirch, Thorsten and Hofmann, Martin and Hughes, John}, biburl = {https://www.bibsonomy.org/bibtex/2b21cac91fca9206d97fc7296a00074fc/dblp}, booktitle = {Dependently Typed Programming}, crossref = {conf/dagstuhl/2004P4381}, editor = {Altenkirch, Thorsten and Hofmann, Martin and Hughes, John}, ee = {http://drops.dagstuhl.de/opus/volltexte/2005/186/}, interhash = {e83917b34f09e17427d237c4609f6f12}, intrahash = {b21cac91fca9206d97fc7296a00074fc}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:22:38.000+0200}, title = {04381 Abstracts Collection - Dependently Typed Programming.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P4381.html#Altenkirch0H04}, volume = 04381, year = 2004 }