Safety analysis versus type inference for partial types

Set-based analysis of ML programs

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming

Efficient inference of partial types

Journal of Computer and System Sciences

A type system equivalent to flow analysis

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Closure analysis in constraint form

ACM Transactions on Programming Languages and Systems (TOPLAS)

Better static memory management: improving region-based analysis of higher-order languages

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation

A type system equivalent to flow analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

Sound polymorphic type inference for objects

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications

Efficient dynamic dispatch without virtual function tables: the SmallEiffel compiler

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Type Inference of SELF

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming