Collection of papers, mostly technical reports with complete proofs.
| Title | Conference | file |
|---|---|---|
| A Typed Lambda Calculus with Gradual Intersection Types | PPDP 2022 | angelo2022typed_complete |
| Type Inference for Rank-2 Intersection Types using Set Unification | ICTAC 2022 | angelo2022type_complete |