Barthe, Gilles ;
Dybjer, Peter ;
Thiemann, Peter
Weitere Beteiligte (Hrsg. etc.): Gilles Barthe and Peter Dybjer and Peter Thiemann
Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341)
BibTeX - Entry
@TechReport{barthe_et_al:DagSemRep.317,
author = {Barthe, Gilles and Dybjer, Peter and Thiemann, Peter},
title = {{Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341)}},
pages = {1--13},
ISSN = {1619-0203},
year = {2002},
type = {Dagstuhl Seminar Report},
number = {317},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15201},
URN = {urn:nbn:de:0030-drops-152017},
doi = {10.4230/DagSemRep.317},
}
|
Seminar: |
|
Dagstuhl Seminar Reports
|
|
Issue date: |
|
2021 |
|
Date of publication: |
|
09.04.2002 |
09.04.2002
