Search the dblp DataBase

Publications of Author

1. Fritz Henglein, Christian Mossin
   Polymorphic Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
   ESOP, 1994, pp:287-301 [Conf]
   
2. David N. Turner, Philip Wadler, Christian Mossin
   Once Upon a Type. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:1-11 [Conf]
   
3. Christian Mossin
   Partial Evaluation of General Parsers. [Citation Graph (0, 0)][DBLP]
   PEPM, 1993, pp:13-21 [Conf]
   
4. Christian Mossin
   Higher-Order Value Flow Graphs. [Citation Graph (0, 0)][DBLP]
   PLILP, 1997, pp:159-173 [Conf]
   
5. Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte
   AnnoDomini: From Type Theory to Year 2000 Conversion Tool. [Citation Graph (0, 0)][DBLP]
   POPL, 1999, pp:1-14 [Conf]
   
6. Dirk Dussart, Fritz Henglein, Christian Mossin
   Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time [Citation Graph (0, 0)][DBLP]
   SAS, 1995, pp:118-135 [Conf]
   
7. Christian Mossin
   Exact Flow Analysis. [Citation Graph (0, 0)][DBLP]
   SAS, 1997, pp:250-264 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   TLCA, 1999, pp:6-13 [Conf]
   
9. Christian Mossin
   Exact Flow Analysis. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:125-156 [Journal]
   
10. Christian Mossin
    Higher-Order Value Flow Graphs. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1998, v:5, n:3, pp:214-234 [Journal]