| 2003 |
|---|
| 10 | | Christian Mossin:
Exact Flow Analysis.
Mathematical Structures in Computer Science 13(1): 125-156 (2003) |
| 1999 |
|---|
| 9 | 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 |
| 8 | 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 |
| 1998 |
|---|
| 7 | | Christian Mossin:
Higher-Order Value Flow Graphs.
Nord. J. Comput. 5(3): 214-234 (1998) |
| 1997 |
|---|
| 6 | | Christian Mossin:
Higher-Order Value Flow Graphs.
PLILP 1997: 159-173 |
| 5 | | Christian Mossin:
Exact Flow Analysis.
SAS 1997: 250-264 |
| 1995 |
|---|
| 4 | | David N. Turner,
Philip Wadler,
Christian Mossin:
Once Upon a Type.
FPCA 1995: 1-11 |
| 3 | | Dirk Dussart,
Fritz Henglein,
Christian Mossin:
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
SAS 1995: 118-135 |
| 1994 |
|---|
| 2 | | Fritz Henglein,
Christian Mossin:
Polymorphic Binding-Time Analysis.
ESOP 1994: 287-301 |
| 1993 |
|---|
| 1 | | Christian Mossin:
Partial Evaluation of General Parsers.
PEPM 1993: 13-21 |
