Travelled to:1 × Italy
1 × USA
Collaborated with:F.Henglein C.Mossin H.Niss M.H.Sørensen M.Tofte
Talks about:domini (2) year (2) type (2) anno (2) approach (1) theoret (1) problem (1) practic (1) convers (1) theori (1)
Person: Peter Harry Eidorff
DBLP: Eidorff:Peter_Harry
Contributed to:
1999
1999Wrote 2 papers:
- POPL-1999-EidorffHMNST #named #type system
- AnnoDomini: From Type Theory to Year 2000 Conversion Tool (PHE, FH, CM, HN, MHS, MT), pp. 1–14.
- TLCA-1999-EidorffHMNST #approach #problem
- AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (PHE, FH, CM, HN, MHS, MT), pp. 6–13.