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  Full Text
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2022, SOURCE: PPDP
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: ICTAC, VOLUME: 13572 LNCS
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: TFP, VOLUME: 12053 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2

footer slogan

Useful Links

Get Help

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