Intersection type assignment systems

Normalization, approximation, and semantics for combinator systems

Theoretical Computer Science

The Essence of Principal Typings

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming

Characterising Strong Normalisation for Explicit Substitutions

LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule

TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs

Exact flow analysis

Mathematical Structures in Computer Science

Type assignment and termination of interaction nets

Mathematical Structures in Computer Science

Intersection types for explicit substitutions

Information and Computation

Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

On strong normalization and type inference in the intersection type discipline

Theoretical Computer Science

The heart of intersection type assignment: Normalisation proofs revisited

Theoretical Computer Science

Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage

Theoretical Computer Science

A typed lambda calculus with intersection types

Theoretical Computer Science

Intersection types in Java

Proceedings of the 6th international symposium on Principles and practice of programming in Java

Semantic predicate types and approximation for class-based object oriented programming

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs

On Type Inference in the Intersection Type Discipline

Electronic Notes in Theoretical Computer Science (ENTCS)

Lazy Strong Normalization

Electronic Notes in Theoretical Computer Science (ENTCS)

Sequence Types for the π-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

Intersection and Union Types in the λμμ~-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

Intersection and Union Types for X

Electronic Notes in Theoretical Computer Science (ENTCS)

Iterator types

FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures

On strong normalization in the intersection type discipline

TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications

Intersection type systems and explicit substitutions calculi

WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation

Strict intersection types for the Lambda Calculus

ACM Computing Surveys (CSUR)

Approximation semantics and expressive predicate assignment for object-oriented programming

TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications

Linearity and iterator types for Gödel's System

Higher-Order and Symbolic Computation

An operational characterization of strong normalization

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures

Subtyping object and recursive types logically

ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science

Functional programs as compressed data

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation

Untyped recursion schemes and infinite intersection types

FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures

Subject reduction vs intersection / union types in λµµ

VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference

RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS

Fundamenta Informaticae

Model Checking Higher-Order Programs

Journal of the ACM (JACM)

Semantic Types and Approximation for Featherweight Java

Theoretical Computer Science

Pumping by Typing

LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Completeness and Soundness Results for X with Intersection and Union Types

Fundamenta Informaticae - Intersection Types and Related Systems ITRS

The Algebra of Expansion

Fundamenta Informaticae - Intersection Types and Related Systems ITRS

Intersection Types with Subtyping by Means of Cut Elimination

Fundamenta Informaticae - Intersection Types and Related Systems ITRS