Pedro B. Vasconcelos

According to our database, Pedro B. Vasconcelos authored at least 14 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Towards Algebraic Subtyping for Extensible Records.

Rodrigo Marques, Mário Florido, Pedro B. Vasconcelos

CoRR, 2024

Kumon-Inspired Approach to Teaching Programming Fundamentals.

Ivone Amorim, Pedro B. Vasconcelos, João Pedro Pedroso

Proceedings of the 5th International Computer Programming Education Conference, 2024

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus.

Pedro B. Vasconcelos, Rodrigo Marques

Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, 2024

2023

Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming.

Pedro B. Vasconcelos

Proceedings of the 4th International Computer Programming Education Conference, 2023

2020

Resource Analysis for Lazy Evaluation with Polynomial Potential.

Sara Moreira, Pedro B. Vasconcelos, Mário Florido

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Using Property-Based Testing to Generate Feedback for C Programming Exercises.

Pedro B. Vasconcelos, Rita P. Ribeiro

Proceedings of the First International Computer Programming Education Conference, 2020

2017

Type-Based Cost Analysis for Lazy Functional Languages.

Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond

J. Autom. Reason., 2017

2015

Certifying execution time in multicores.

Vítor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos

Sci. Comput. Program., 2015

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.

Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond

Proceedings of the Programming Languages and Systems, 2015

2012

Automatic amortised analysis of dynamic memory allocation for lazy functional programs.

Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2008

Space cost analysis using sized types.

Pedro B. Vasconcelos

PhD thesis, 2008

2006

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.

Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2003

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.

Pedro B. Vasconcelos, Kevin Hammond

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002

Cost Analysis Using Automatic Size and Time Inference.

Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002