AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
AnnoDomini: From Type Theory to Year 2000 Conversion Tool. / Eidorff, Peter Harry; Henglein, Fritz; Mossin, Christian; Niss, Henning; Sørensen, Morten Heine; Tofte, Mads.
ACM Priciples of Programming Languages. Association for Computing Machinery, 1999. p. 1-14.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Eidorff, PH, Henglein, F, Mossin, C, Niss, H, Sørensen, MH & Tofte, M 1999, AnnoDomini: From Type Theory to Year 2000 Conversion Tool. in ACM Priciples of Programming Languages. Association for Computing Machinery, pp. 1-14.
APA
Eidorff, P. H., Henglein, F., Mossin, C., Niss, H., Sørensen, M. H., & Tofte, M. (1999). AnnoDomini: From Type Theory to Year 2000 Conversion Tool. In ACM Priciples of Programming Languages (pp. 1-14). Association for Computing Machinery.
Vancouver
Eidorff PH, Henglein F, Mossin C, Niss H, Sørensen MH, Tofte M. AnnoDomini: From Type Theory to Year 2000 Conversion Tool. In ACM Priciples of Programming Languages. Association for Computing Machinery. 1999. p. 1-14
Author
Bibtex
@inbook{d635e8a074c811dbbee902004c4f4f50,
title = "AnnoDomini: From Type Theory to Year 2000 Conversion Tool",
author = "Eidorff, {Peter Harry} and Fritz Henglein and Christian Mossin and Henning Niss and S{\o}rensen, {Morten Heine} and Mads Tofte",
year = "1999",
language = "English",
pages = "1--14",
booktitle = "ACM Priciples of Programming Languages",
publisher = "Association for Computing Machinery",
}
RIS
TY - CHAP
T1 - AnnoDomini: From Type Theory to Year 2000 Conversion Tool
AU - Eidorff, Peter Harry
AU - Henglein, Fritz
AU - Mossin, Christian
AU - Niss, Henning
AU - Sørensen, Morten Heine
AU - Tofte, Mads
PY - 1999
Y1 - 1999
M3 - Book chapter
SP - 1
EP - 14
BT - ACM Priciples of Programming Languages
PB - Association for Computing Machinery
ER -
ID: 188641