BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Italy
2 × USA
3 × United Kingdom
Collaborated with:
∅ F.Henglein P.H.Eidorff H.Niss M.H.Sørensen M.Tofte D.N.Turner P.Wadler D.Dussart
Talks about:
polymorph (3) analysi (3) type (3) time (3) domini (2) year (2) flow (2) bind (2) anno (2) polynomi (1)

Person: Christian Mossin

DBLP DBLP: Mossin:Christian

Contributed to:

POPL 19991999
TLCA 19991999
PLILP 19971997
SAS 19971997
FPCA 19951995
SAS 19951995
ESOP 19941994
PEPM 19931993

Wrote 8 papers:

POPL-1999-EidorffHMNST #named #type system
AnnoDomini: From Type Theory to Year 2000 Conversion Tool (PHE, FH, CM, HN, MHS, MT), pp. 1–14.
TLCA-1999-EidorffHMNST #approach #problem
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (PHE, FH, CM, HN, MHS, MT), pp. 6–13.
PLILP-1997-Mossin #graph #higher-order
Higher-Order Value Flow Graphs (CM), pp. 159–173.
SAS-1997-Mossin #analysis
Exact Flow Analysis (CM), pp. 250–264.
FPCA-1995-TurnerWM
Once Upon a Type (DNT, PW, CM), pp. 1–11.
SAS-1995-DussartHM #analysis #polymorphism #polynomial #recursion #type system
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time (DD, FH, CM), pp. 118–135.
ESOP-1994-HengleinM #analysis #polymorphism
Polymorphic Binding-Time Analysis (FH, CM), pp. 287–301.
PEPM-1993-Mossin #parsing #partial evaluation
Partial Evaluation of General Parsers (CM), pp. 13–21.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.