Pedro Jorge Fernandes Ângelo


AuthID: R-00J-ST1

Confirmed Publications: 4



1
TITLE: Gradual Guarantee for FJ with lambda-Expressions
AUTHORS: Ângelo, Pedro ; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: A Typed Lambda Calculus with Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
3
TITLE: Type Inference for Rank-2 Intersection Types Using Set Unification
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
4
TITLE: Type Inference for Rank 2 Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service