Document Open Access Logo

Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341)

Authors Gilles Barthe, Peter Dybjer, Peter Thiemann



PDF
Thumbnail PDF

File

DagSemRep.317.pdf
  • Filesize: 0.68 MB
  • 13 pages

Document Identifiers

Author Details

Gilles Barthe
Peter Dybjer
Peter Thiemann

Cite AsGet 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
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail