Pedro B. Vasconcelos

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 7

Top Venues

CoRR

ICPEC

Sci. Comput. Program.

Haskell

University of St Andrews, UK (PHD)

Education History

University of St Andrews, UK

PHD

Publications

Rodrigo Marques, Mário Florido, Pedro B. Vasconcelos
Towards Algebraic Subtyping for Extensible Records. CoRR (2024)
Pedro B. Vasconcelos, Rodrigo Marques
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus. CoRR (2024)
Pedro B. Vasconcelos, Rodrigo Marques
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus. Haskell (2024)
Pedro B. Vasconcelos
Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming. ICPEC (2023)
Sara Moreira, Pedro B. Vasconcelos, Mário Florido
Resource Analysis for Lazy Evaluation with Polynomial Potential. IFL (2020)
Pedro B. Vasconcelos, Rita P. Ribeiro
Using Property-Based Testing to Generate Feedback for C Programming Exercises. ICPEC (2020)
Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
Type-Based Cost Analysis for Lazy Functional Languages. J. Autom. Reason. 59 (1) (2017)
Vitor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos
Certifying execution time in multicores. Sci. Comput. Program. 111 (2015)
Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ESOP (2015)
Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP (2012)
Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES (2006)
Pedro B. Vasconcelos, Kevin Hammond
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL (2003)
Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
Cost Analysis Using Automatic Size and Time Inference. IFL (2002)

Pedro B. Vasconcelos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pedro B. Vasconcelos