Christian Mossin

Publication Activity (10 Years)

Years Active: 1993-2003
Publications (10 Years): 0

University of Copenhagen, Denmark (PHD)

Education History

University of Copenhagen, Denmark

PHD

Publications

Christian Mossin
Exact Flow Analysis. Math. Struct. Comput. Sci. 13 (1) (2003)
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)
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)
Christian Mossin
Higher-Order Value Flow Graphs. Nord. J. Comput. 5 (3) (1998)
Christian Mossin
Higher-Order Value Flow Graphs. PLILP (1997)
Christian Mossin
Exact Flow Analysis. SAS (1997)
Dirk Dussart, Fritz Henglein, Christian Mossin
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time SAS (1995)
David N. Turner, Philip Wadler, Christian Mossin
Once Upon a Type. FPCA (1995)
Fritz Henglein, Christian Mossin
Polymorphic Binding-Time Analysis. ESOP (1994)
Christian Mossin
Partial Evaluation of General Parsers. PEPM (1993)