Type Inference for Rank 2 Gradual Intersection Types

• Type: Article in International Conference Proceedings Book
• Date: 2019

Authors

Ângelo, P (Author) Other; Florido, M (Author) FCUP

Conference proceedings International

Title: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers

Pages: 84-120

Indexing

Scopus - 2 Citations

Other information

Authenticus ID: P-00S-6NW

DOI: 10.1007/978-3-030-47147-7_5

Abstract (EN): In this paper, we extend a rank 2 intersection type system with gradual types. We then show that the problem of finding a principal typing for a lambda term, in a rank 2 gradual intersection type system is decidable. We present a type inference algorithm which builds the principal typing of a term through the generation of type constraints which are solved by a new extended unification algorithm constructing the most general unifier for rank 2 gradual intersection types. © Springer Nature Switzerland AG 2020.

Language: English

Type (Professor's evaluation): Scientific