Pragmatic subtyping in polymorphic languages
- 29 September 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (1) , 216-227
- https://doi.org/10.1145/289423.289445
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- A practical subtyping system for ErlangACM SIGPLAN Notices, 1997
- First-class polymorphism with type inferencePublished by Association for Computing Machinery (ACM) ,1997
- Simple objects for Standard MLPublished by Association for Computing Machinery (ACM) ,1996
- Principal type schemes for functional programs with overloading and subtypingScience of Computer Programming, 1994
- A system of constructor classesPublished by Association for Computing Machinery (ACM) ,1993
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- Type inference with subtypesTheoretical Computer Science, 1990
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982