Pedro B. Vasconcelos

Orcid: 0000-0002-8387-9772

According to our database1, Pedro B. Vasconcelos authored at least 11 papers between 2002 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming.
Proceedings of the 4th International Computer Programming Education Conference, 2023

2020
Resource Analysis for Lazy Evaluation with Polynomial Potential.
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.
Proceedings of the First International Computer Programming Education Conference, 2020

2017
Type-Based Cost Analysis for Lazy Functional Languages.
J. Autom. Reason., 2017

2015
Certifying execution time in multicores.
Sci. Comput. Program., 2015

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.
Proceedings of the Programming Languages and Systems, 2015

2012
Automatic amortised analysis of dynamic memory allocation for lazy functional programs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2008
Space cost analysis using sized types.
PhD thesis, 2008

2006
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.
Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2003
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002
Cost Analysis Using Automatic Size and Time Inference.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002


  Loading...