AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  • Peter Harry Eidorff
  • Henglein, Fritz
  • Christian Mossin
  • Henning Niss
  • Morten Heine Sørensen
  • Mads Tofte
Original languageEnglish
Title of host publicationProceedings Symposium on Typed Lambda Calculus and Applications (TLCA)
PublisherSpringer
Publication date1999
Pages6-13
Publication statusPublished - 1999

ID: 188706