AnnoDomini: From Type Theory to a Year 2000 Conversion Tool

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

Cite this

@article{7b4baa40657c11de8bc9000ea68e967b,

title = "AnnoDomini: From Type Theory to a 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",

volume = "36",

journal = "ERCIM News",

issn = "0926-4981",

publisher = "European Research Consortium for Informatics and Mathematics",

}