Christian Mossin

According to our database, Christian Mossin authored at least 9 papers between 1993 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Exact Flow Analysis.

Christian Mossin

Math. Struct. Comput. Sci., 2003

1999

AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

AnnoDomini: From Type Theory to Year 2000 Conversion Tool.

Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte

Proceedings of the POPL '99, 1999

1998

Higher-Order Value Flow Graphs.

Christian Mossin

Nord. J. Comput., 1998

1997

Flow analysis of typed higher-order programs.

Christian Mossin

PhD thesis, 1997

1995

Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

Dirk Dussart, Fritz Henglein, Christian Mossin

Proceedings of the Static Analysis, 1995

Once Upon a Type.

David N. Turner, Philip Wadler, Christian Mossin

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Polymorphic Binding-Time Analysis.

Fritz Henglein, Christian Mossin

Proceedings of the Programming Languages and Systems, 1994

1993

Partial Evaluation of General Parsers.

Christian Mossin

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993