Polymorphic Binding-Time Analysis - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Fritz Henglein, Christian Mossin. Polymorphic Binding-Time Analysis. In Donald Sannella, editor, Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings. Volume 788 of Lecture Notes in Computer Science, pages 287-301, Springer, 1994. [doi]

The following publications are possibly variants of this publication:

Efficient Type Inference for Higher-Order Binding-Time AnalysisFritz Henglein. fpca 1991: 448-472 [doi]

Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial TimeDirk Dussart, Fritz Henglein, Christian Mossin. SAS 1995: 118-135

runs on WebDSL