Pedro ngelo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2011–2026
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Contextual Metaprogramming for Session Types. | Pedro ngelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos |
| 2023 | FTfJP | Gradual Guarantee for FJ with lambda-Expressions. | Pedro ngelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mrio Florido |
| 2022 | ICTAC | Type Inference for Rank-2 Intersection Types Using Set Unification. | Pedro ngelo, Mrio Florido |
| 2022 | PPDP | A Typed Lambda Calculus with Gradual Intersection Types. | Pedro ngelo, Mrio Florido |
| 2021 | TEI | Expanded Boundaries: Art and Non-human Essence as Playful Inspirations for Children's Prosthetics. | Juliana Maria Moreira Soares, Joo Pedro Farinha Nunes da Costa, Pedro ngelo, Mnica Mendes |
| 2012 | NordiCHI | Digital art, HCI and environmental awareness evaluating play with fire. | Mnica Mendes, Pedro ngelo, Valentina Nisi, Nuno Correia |
| 2011 | TEI | Hug@ree: a RTiVISS experience. | Mnica Mendes, Pedro ngelo, Nuno Correia |