Polar Type Inference with Intersection Types and ω

DOI10.1016/S1571-0661(04)80489-4zbMath1270.03029MaRDI QIDQ2842834

Sébastien Carlier

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

On strong normalization and type inference in the intersection type discipline

Uses Software

• ML
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Polar Type Inference with Intersection Types and ω