Christian Mossin (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

9		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
8		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
3		Dirk Dussart, Fritz Henglein, Christian Mossin: Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time SAS 1995: 118-135
2		Fritz Henglein, Christian Mossin: Polymorphic Binding-Time Analysis. ESOP 1994: 287-301

Selection of 4 from 10 records - Christian Mossin has 8 coauthors