Pedro Jorge Fernandes Ângelo


AuthID: R-00J-ST1

Publicações Confirmadas: 4



1
TÍTULO: Gradual Guarantee for FJ with lambda-Expressions
AUTORES: Ângelo, Pedro ; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLICAÇÃO: 2023, FONTE: 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP) in PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: A Typed Lambda Calculus with Gradual Intersection Types
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 24th International Symposium on Principles and Practice of Declarative Programming, PPDP 2022 in PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022
INDEXADO EM: Scopus DBLP CrossRef
3
TÍTULO: Type Inference for Rank-2 Intersection Types Using Set Unification
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572
INDEXADO EM: Scopus DBLP CrossRef: 2
4
TÍTULO: Type Inference for Rank 2 Gradual Intersection Types
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2019, FONTE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053
INDEXADO EM: Scopus DBLP CrossRef: 2

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service