Type Inference for Rank 2 Gradual Intersection Types

DOI10.1007/978-3-030-47147-7_5MaRDI QIDQ5098736zbMATH OpenOpenAlexFDO

Authors Pedro Ângelo, Mário Florido

Publication date 30 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-47147-7_5

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Type inference for rank-2 intersection types using set unification
• On type inference in the intersection type discipline
• Practical type inference for arbitrary-rank types
• scientific article; zbMATH DE number 883895
• Gradual type theory
• The Inhabitation Problem for Rank Two Intersection Types
• Embedding a second-order type system into an intersection type system
• Pre-grammars and inhabitation for a subset of rank 2 intersection types

Cites work

• A filter lambda model and the completeness of type assignment
• A Machine-Oriented Logic Based on the Resolution Principle
• A theory of type polymorphism in programming
• Abstracting gradual typing
• An extension of basic functionality theory for -calculus
• Automatically generating the dynamic semantics of gradually typed languages
• Functional Characters of Solvable Terms
• scientific article; zbMATH DE number 4051569 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• scientific article; zbMATH DE number 2086682 (Why is no real title available?)
• Intersection type assignment systems
• Principal type schemes for gradual programs
• Principality and type inference for intersection types using expansion variables
• Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
• The coherence of languages with intersection types
• The Gradualizer: a methodology and algorithm for generating gradual type systems
• The Principal Type-Scheme of an Object in Combinatory Logic

Cited in

(7)

• Principality and type inference for intersection types using expansion variables
• Principal type schemes for gradual programs
• Rank 2 intersection for recursive definitions
• scientific article; zbMATH DE number 1512611 (Why is no real title available?)
• Boxy types, inference for higher-rank types and impredicativity
• Typed Lambda Calculi and Applications
• Type inference for rank-2 intersection types using set unification

Describes a project that uses

Uses Software

• ML
• Forsythe
• gradualizerDynamicSemantics

This page was built for publication: Type Inference for Rank 2 Gradual Intersection Types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5098736)