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. In Jean-Yves Girard, editor, Typed Lambda Calculi and Applications, 4th International Conference, TLCA 99, L Aquila, Italy, April 7-9, 1999, Proceedings. Volume 1581 of Lecture Notes in Computer Science, pages 6-13, Springer, 1999. [doi]
Abstract is missing.