Pedro Ângelo

According to our database, Pedro Ângelo authored at least 7 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Contextual Metaprogramming for Session Types.

Pedro Ângelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos

Proceedings of the Programming Languages and Systems, 2026

2024

Gradual Intersection Types

Pedro Jorge Fernandes Ângelo

PhD thesis, 2024

Linear Contextual Metaprogramming and Session Types.

Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

2023

Gradual Guarantee for FJ with lambda-Expressions.

Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2022

A Typed Lambda Calculus with Gradual Intersection Types.

Pedro Ângelo, Mário Florido

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Type Inference for Rank-2 Intersection Types Using Set Unification.

Pedro Ângelo, Mário Florido

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2019

Type Inference for Rank 2 Gradual Intersection Types.

Pedro Ângelo, Mário Florido

Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019