2024
DOI: 10.1007/978-3-031-57262-3_2
|View full text |Cite
|
Sign up to set email alerts
|

Monadic Intersection Types, Relationally

Francesco Gavazzo,
Riccardo Treglia,
Gabriele Vanoni

Abstract: We extend intersection types to a computational $$\lambda $$ λ -calculus with algebraic operations à la Plotkin and Power. We achieve this by considering monadic intersections—whereby computational effects appear not only in the operational semantics, but also in the type system. Since in the effectful setting termination is not anymore the only property of interest, we want to analyze the interactive behavior of typed programs with the environment. Indeed, our type system is … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 57 publications
0
0
0
Order By: Relevance