Polar type inference with intersection types and \(\omega\)
type: Item
instance of: scholarly article
zbMATH Open document ID: 1270.03029
DOI: 10.1016/S1571-0661(04)80489-4
author: Sébastien Carlier
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-08-16T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 6199139
describes a project that uses: GHC
describes a project that uses: ML
MaRDI profile type: Publication
cites work: Q4842966
cites work: Q4249224
cites work: Q4737219
Recommended article: On type inference in the intersection type discipline
Recommended article: Type Inference for a Polynomial Lambda Calculus
Recommended article: Q4281484
Recommended article: Intersection types and bounded polymorphism
Recommended article: Intersection Types from a Proof-theoretic Perspective
Recommended article: Intersection typed \(\lambda \)-calculus
Recommended article: A typed lambda calculus with intersection types
Recommended article: Type inference in polymorphic type discipline
Recommended article: Q4600774
Recommended article: Intersection types and lambda models
title: Polar type inference with intersection types and \(\omega\)
description: scientific article; zbMATH DE number 6199139