Peter Harry Eidorff

	1999
2		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		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

Coauthor Index

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]