Breaking through then3 barrier: Faster object type inference

Publisher Website

1 January 1999

journal article
research article
Published by Wiley in Theory and Practice of Object Systems

Vol. 5 (1) , 57-72
https://doi.org/10.1002/(sici)1096-9942(199901/03)5:1<57::aid-tapo5>3.0.co;2-u

Abstract

No abstract available

Keywords

This publication has 10 references indexed in Scilit:

Interconvertbility of set constraints and context-free language reachability
Published by Association for Computing Machinery (ACM) ,1997
A Theory of Objects
Published by Springer Nature ,1996
Efficient Inference of Object Types
Information and Computation, 1995
Sound polymorphic type inference for objects
Published by Association for Computing Machinery (ACM) ,1995
Using multiset discrimination to solve language processing problems without hashing
Theoretical Computer Science, 1995
Principal type schemes for functional programs with overloading and subtyping
Science of Computer Programming, 1994
Speeding up dynamic transitive closure for bounded degree graphs
Acta Informatica, 1993
Object-oriented type inference
Published by Association for Computing Machinery (ACM) ,1991
ML with extended pattern matching and subtypes
Published by Association for Computing Machinery (ACM) ,1988
Data Structures and Network Algorithms
Published by Society for Industrial & Applied Mathematics (SIAM) ,1983