Principal type scheme and unification for intersection type discipline

Refinement types for ML

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation

Inference of polymorphic and conditional strictness properties

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Principality and decidable type inference for finite-rank intersection types

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The Essence of Principal Typings

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

Rank 2 intersection types for local definitions and conditional expressions

ACM Transactions on Programming Languages and Systems (TOPLAS)

Intersection types and bounded polymorphism

Mathematical Structures in Computer Science

Principality and type inference for intersection types using expansion variables

Theoretical Computer Science

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

Types, potency, and idempotency: why nonlinearity and amnesia make a type system work

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming

Calculi, types and applications

Theoretical Computer Science

On strong normalization and type inference in the intersection type discipline

Theoretical Computer Science

On Isomorphisms of Intersection Types

CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic

On Type Inference in the Intersection Type Discipline

Electronic Notes in Theoretical Computer Science (ENTCS)

Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation

Electronic Notes in Theoretical Computer Science (ENTCS)

Characterising strongly normalising intuitionistic sequent terms

TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs

On isomorphisms of intersection types

ACM Transactions on Computational Logic (TOCL)

Intersection type systems and explicit substitutions calculi

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

Semantic Types and Approximation for Featherweight Java

Theoretical Computer Science

The Algebra of Expansion

Fundamenta Informaticae - Intersection Types and Related Systems ITRS

Characterising Strongly Normalising Intuitionistic Terms

Fundamenta Informaticae - Intersection Types and Related Systems ITRS