We stand with Ukraine  

Pedro Ângelo

Orcid: 0000-0002-7849-195X

Affiliations:
  • Faculdade de Ciências da Universidade do Porto, Portugal


According to our database1, Pedro Ângelo authored at least 5 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Linear Contextual Metaprogramming and Session Types.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Pedro Ângelo
,
Mário Florido
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2019
Type Inference for Rank 2 Gradual Intersection Types.
[BibTeX]
[DOI]
Pedro Ângelo
,
Mário Florido
Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019


  Loading...