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 Citationer (Scopus)

Originalsprog	Engelsk
Titel	ACM Priciples of Programming Languages
Forlag	Association for Computing Machinery
Publikationsdato	1999
Sider	1-14
Status	Udgivet - 1999

Citationsformater

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

}