Type Inference for Rank 2 Gradual Intersection Types. - Pedro Ângelo 002; Mário Florido (TFP, 2019)

Type Inference for Rank-2 Intersection Types Using Set Unification. - Pedro Ângelo 002; Mário Florido (ICTAC, 2022)

A Typed Lambda Calculus with Gradual Intersection Types. - Pedro Ângelo 002; Mário Florido (PPDP, 2022)

Gradual Guarantee for FJ with lambda-Expressions. - Pedro Ângelo 002; Viviana Bono; Mariangiola Dezani-Ciancaglini; Mário Florido (FTfJP@ECOOP, 2023)

Linear Contextual Metaprogramming and Session Types. - Pedro Ângelo 002; Atsushi Igarashi; Vasco T. Vasconcelos (PLACES@ETAPS, 2024)

Gradual Intersection Types - Pedro Jorge Fernandes Ângelo (2024)