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
No reviews for this publication, yet.