Peter Harry Eidorff

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
AnnoDomini: From Type Theory to Year 2000 Conversion Tool. POPL (1999)
Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. TLCA (1999)