Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341)

Barthe, Gilles; Dybjer, Peter; Thiemann, Peter

doi:10.4230/DagSemRep.317

Document

Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341)

Authors Gilles Barthe, Peter Dybjer, Peter Thiemann

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2002-04-09

PDF

File

DagSemRep.317.pdf

Filesize: 0.68 MB
13 pages

Document Identifiers

DOI: 10.4230/DagSemRep.317
URN: urn:nbn:de:0030-drops-152017

Author Details

Gilles Barthe

Peter Dybjer

Peter Thiemann

Cite As Get BibTex

Gilles Barthe, Peter Dybjer, and Peter Thiemann. Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341). Dagstuhl Seminar Report 317, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002) https://doi.org/10.4230/DagSemRep.317

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail