AnnoDomini: From Type Theory to Year 2000 Conversion Tool.

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Srensen, Mads Tofte

Browse the full POPL paper archive.