AnnoDomini: From Type Theory to Year 2000 Conversion Tool

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte

19 Citations (Scopus)

Original language	English
Title of host publication	ACM Priciples of Programming Languages
Publisher	Association for Computing Machinery
Publication date	1999
Pages	1-14
Publication status	Published - 1999

Cite this

@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",

}