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