According to our database1, Christian Mossin authored at least 9 papers between 1993 and 2003.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999
Proceedings of the POPL '99, 1999
Higher-Order Value Flow Graphs.
Nord. J. Comput., 1998
Flow analysis of typed higher-order programs.
PhD thesis, 1997
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Proceedings of the Static Analysis, 1995
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995
Proceedings of the Programming Languages and Systems, 1994
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993