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 ◽

Author(s):

M. Coppo ◽

P. Giannini

Keyword(s):

Type Inference ◽

Inference Algorithm ◽

Complete Type ◽

Intersection Types

Download Full-text

A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182456 ◽

1994 ◽

Author(s):

A. J. Kfoury ◽

J. B. Wells

Keyword(s):

Second Order ◽

Type Inference ◽

Direct Algorithm ◽

Download Full-text

Rank 2 intersection types for local definitions and conditional expressions

ACM Transactions on Programming Languages and Systems ◽

10.1145/778559.778560 ◽

2003 ◽

Vol 25 (4) ◽

pp. 401-451 ◽

Author(s):

Ferruccio Damiani

Keyword(s):

Rank 2 ◽

Intersection Types

Download Full-text

A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus

ACM SIGPLAN Lisp Pointers ◽

10.1145/182590.182456 ◽

1994 ◽

Vol VII (3) ◽

pp. 196-207 ◽

Author(s):

A. J. Kfoury ◽

J. B. Wells

Keyword(s):

Second Order ◽

Type Inference ◽

Direct Algorithm ◽

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 ◽

Author(s):

Sébastien Carlier

Keyword(s):

Type Inference ◽

Intersection Types ◽

Download Full-text

Rank 2 intersection types for modules

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888259 ◽

2003 ◽

Author(s):

Ferruccio Damiani

Keyword(s):

Rank 2 ◽

Intersection Types

Download Full-text

Modular control-flow analysis with rank 2 intersection types

Mathematical Structures in Computer Science ◽

10.1017/s0960129502003845 ◽

2003 ◽

Vol 13 (1) ◽

pp. 87-124 ◽

Author(s):

ANINDYA BANERJEE ◽

THOMAS JENSEN

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Modular Control ◽

Rank 2 ◽

Intersection Types ◽

Control Flow Analysis

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 ◽

Author(s):

Sébastien Carlier ◽

J.B. Wells

Keyword(s):

Type Inference ◽

Intersection Types

Download Full-text

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2019.07.003 ◽

2019 ◽

Vol 344 ◽

pp. 25-45

Author(s):

Sandra Alves ◽

Sabine Broda

Keyword(s):

Rank 2 ◽

Intersection Types

Download Full-text

On Typability for Rank-2 Intersection Types with Polymorphic Recursion

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.41 ◽

2006 ◽

Author(s):

T. Terauchi ◽

A. Aiken

Keyword(s):

Rank 2 ◽

Intersection Types

Download Full-text