Type inference and semi-unification
- 1 January 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 184-197
- https://doi.org/10.1145/62678.62701
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- An overview of MirandaACM SIGPLAN Notices, 1986
- An ideal model for recursive polymorphic typesInformation and Control, 1986
- Properties of substitutions and unificationsJournal of Symbolic Computation, 1985
- Description of BACM SIGPLAN Notices, 1985
- Declaration-free type checkingPublished by Association for Computing Machinery (ACM) ,1985
- A polymorphic type system for prologArtificial Intelligence, 1984
- A semantic prototyping systemPublished by Association for Computing Machinery (ACM) ,1984
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Linear unificationJournal of Computer and System Sciences, 1978