Christian Mossin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1993–1999
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | POPL | AnnoDomini: From Type Theory to Year 2000 Conversion Tool. | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Srensen, Mads Tofte |
| 1997 | SAS | Exact Flow Analysis. | Christian Mossin |
| 1995 | SAS | Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time | Dirk Dussart, Fritz Henglein, Christian Mossin |
| 1994 | ESOP | Polymorphic Binding-Time Analysis. | Fritz Henglein, Christian Mossin |
| 1993 | PEPM | Partial Evaluation of General Parsers. | Christian Mossin |