Type inference for record concatenation and multiple inheritance
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Type inference with subtypesPublished by Association for Computing Machinery (ACM) ,1988
- Inheritance in smalltalk-80: a denotational definitionPublished by Association for Computing Machinery (ACM) ,1988
- Objects as closures: abstract semantics of object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1988
- ML with extended pattern matching and subtypesPublished by Association for Computing Machinery (ACM) ,1988
- Basic polymorphic typecheckingScience of Computer Programming, 1987
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Embedding type structure in semanticsPublished by Association for Computing Machinery (ACM) ,1985
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- The Principal Type-Scheme of an Object in Combinatory LogicTransactions of the American Mathematical Society, 1969