AnnoDomini: From Type Theory to Year 2000 Conversion Tool

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  • Peter Harry Eidorff
  • Henglein, Fritz
  • Christian Mossin
  • Henning Niss
  • Morten Heine Sørensen
  • Mads Tofte
OriginalsprogEngelsk
TitelACM Priciples of Programming Languages
ForlagAssociation for Computing Machinery
Publikationsdato1999
Sider1-14
StatusUdgivet - 1999

ID: 188641