Constraint-based type inference and parametric polymorphism
- 1 January 1994
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Optimizing dynamically-dispatched calls with run-time type feedbackPublished by Association for Computing Machinery (ACM) ,1994
- Safety analysis versus type inference for partial typesInformation Processing Letters, 1992
- Efficient call graph analysisACM Letters on Programming Languages and Systems, 1992
- Automatic autoprojection of higher order recursive equationsScience of Computer Programming, 1991
- An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypesHigher-Order and Symbolic Computation, 1991
- A type system for SmalltalkPublished by Association for Computing Machinery (ACM) ,1990
- Self: The power of simplicityPublished by Association for Computing Machinery (ACM) ,1987
- Type-checking SmalltalkPublished by Association for Computing Machinery (ACM) ,1986
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977