AnnoDomini: From Type Theory to Year 2000 Conversion Tool

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 publicationACM Priciples of Programming Languages
PublisherAssociation for Computing Machinery
Publication date1999
Pages1-14
Publication statusPublished - 1999

ID: 188641