| |
| 1999 | ||
|---|---|---|
| 2 | EE | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte: AnnoDomini: From Type Theory to Year 2000 Conversion Tool. POPL 1999: 1-14 |
| 1 | EE | 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. TLCA 1999: 6-13 |
| 1 | Fritz Henglein | [1] [2] |
| 2 | Christian Mossin | [1] [2] |
| 3 | Henning Niss | [1] [2] |
| 4 | Morten Heine Sørensen | [1] [2] |
| 5 | Mads Tofte | [1] [2] |