Principal types and unification for simple intersection type systems

DOI10.1006/INCO.1995.1141zbMath0834.68063OpenAlexW1994139214MaRDI QIDQ1900315

Paola Giannini, Mario Coppo

Publication date: 30 October 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1141

zbMATH Keywords

inference algorithmsintersection schemes

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Type inference for rank-2 intersection types using set unification ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Refinement types for program analysis

Uses Software

• Miranda

This page was built for publication: Principal types and unification for simple intersection type systems