Design of the programming language FORSYTHE

Compound types for Java

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

Type-indexed rows

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Branching Types

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems

Intersection Logic

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic

A calculus with polymorphic and polyvariant flow types

Journal of Functional Programming

Intersection-types à la Church

Information and Computation

A typed lambda calculus with intersection types

Theoretical Computer Science

Towards an Intersection Typed System à la Church

Electronic Notes in Theoretical Computer Science (ENTCS)

Semantic subtyping with an SMT solver

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Metamodeling semantics of multiple inheritance

Science of Computer Programming

Union and intersection types for secure protocol implementations

TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications

The type discipline of behavioral separation

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Intersection Types from a Proof-theoretic Perspective

Fundamenta Informaticae - Intersection Types and Related Systems ITRS

Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Journal of Computer Security - Foundational Aspects of Security