1. The transitive reduction of a directed graph;Aho;SIAM J. Comput.,1972
2. Constrained quantification in polymorphic type analysis;Curtis,1990
3. Principal type-schemes for functional programs;Damas;9th ACM Symposium on Principles of Programming Languages,1982
4. Polymorphic subtype inference: Closing the theory-practice gap;Fuh,1989
5. Type inference with subtypes;Fuh;Theoret. Comput. Sci.,1990