Intersection and Union Types

Regular types for active objects

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications

Enforcing Safety Properties Using Type Specialization

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems

Infinite Intersection and Union Types for the Lazy Lambda Calculus

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software

Types in program analysis

The essence of computation

Infinite intersection types

Information and Computation - TACS 2001

Intersection types and bounded polymorphism

Mathematical Structures in Computer Science

Calculi, types and applications

Theoretical Computer Science

Implementing a Language with Flow-Sensitive and Structural Typing on the JVM

Electronic Notes in Theoretical Computer Science (ENTCS)