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

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

10.1145/1013963.1013980 ◽

2004 ◽

Cited By ~ 2

Author(s):

Sébastien Carlier ◽

J. B. Wells

Keyword(s):

Type Inference ◽

Intersection Types

Download Full-text

Type Inference for Rank 2 Gradual Intersection Types

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_5 ◽

2020 ◽

pp. 84-120

Author(s):

Pedro Ângelo ◽

Mário Florido

Keyword(s):

Type Inference ◽

Rank 2 ◽

Intersection Types

Download Full-text

A complete type inference algorithm for simple intersection types

CAAP '92 - Lecture Notes in Computer Science ◽

10.1007/3-540-55251-0_6 ◽

1992 ◽

pp. 102-123 ◽

Cited By ~ 4

Author(s):

M. Coppo ◽

P. Giannini

Keyword(s):

Type Inference ◽

Inference Algorithm ◽

Complete Type ◽

Intersection Types

Download Full-text

Polar Type Inference with Intersection Types and ω

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80489-4 ◽

2003 ◽

Vol 70 (1) ◽

pp. 37-52 ◽

Cited By ~ 3

Author(s):

Sébastien Carlier

Keyword(s):

Type Inference ◽

Intersection Types ◽

Polar Type

Download Full-text

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

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.03.026 ◽

2005 ◽

Vol 136 ◽

pp. 173-202 ◽

Cited By ~ 7

Author(s):

Sébastien Carlier ◽

J.B. Wells

Keyword(s):

Type Inference ◽

Intersection Types

Download Full-text

Principality and decidable type inference for finite-rank intersection types

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 ◽

10.1145/292540.292556 ◽

1999 ◽

Cited By ~ 31

Author(s):

A. J. Kfoury ◽

J. B. Wells

Keyword(s):

Finite Rank ◽

Type Inference ◽

Intersection Types

Download Full-text

Principality and type inference for intersection types using expansion variables

Theoretical Computer Science ◽

10.1016/j.tcs.2003.10.032 ◽

2004 ◽

Vol 311 (1-3) ◽

pp. 1-70 ◽

Cited By ~ 35

Author(s):

A.J. Kfoury ◽

J.B. Wells

Keyword(s):

Type Inference ◽

Intersection Types

Download Full-text

The MAGICA Type Inference Engine for MATLAB ®

Lecture Notes in Computer Science - Compiler Construction ◽

10.1007/3-540-36579-6_9 ◽

2003 ◽

pp. 121-125 ◽

Cited By ~ 8

Author(s):

Pramod G. Joisha ◽

Prithviraj Banerjee

Keyword(s):

Inference Engine ◽

Type Inference

Download Full-text

Polymorphic type inference for machine code

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908119 ◽

2016 ◽

Cited By ~ 8

Author(s):

Matt Noonan ◽

Alexey Loginov ◽

David Cok

Keyword(s):

Type Inference ◽

Machine Code ◽

Polymorphic Type

Download Full-text

Iterative type inference with attribute grammars

ACM SIGPLAN Notices ◽

10.1145/1942788.1868302 ◽

2011 ◽

Vol 46 (2) ◽

pp. 43-52 ◽

Cited By ~ 1

Author(s):

Arie Middelkoop ◽

Atze Dijkstra ◽

S. Doaitse Swierstra

Keyword(s):

Type Inference ◽

Attribute Grammars

Download Full-text

A practical framework for type inference error explanation

ACM SIGPLAN Notices ◽

10.1145/3022671.2983994 ◽

2016 ◽

Vol 51 (10) ◽

pp. 781-799 ◽

Cited By ~ 4

Author(s):

Calvin Loncaric ◽

Satish Chandra ◽

Cole Schlesinger ◽

Manu Sridharan

Keyword(s):

Type Inference ◽

Error Explanation

Download Full-text