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

2024 | conference-paper

Resource Analysis for Lazy Evaluation with Polynomial Potential

IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020

2020 | conference-paper

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

First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference).

2020 | conference-paper

Type-Based Cost Analysis for Lazy Functional Languages

JOURNAL OF AUTOMATED REASONING

2017 | journal-article

Certifying execution time in multicores

SCIENCE OF COMPUTER PROGRAMMING

2015 | journal-article

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

PROGRAMMING LANGUAGES AND SYSTEMS

2015 | conference-paper

Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs

ACM SIGPLAN NOTICES

2012 | journal-article

Using intersection types for cost-analysis of higher-order polymorphic functional programs

TYPES FOR PROOFS AND PROGRAMS

2007 | conference-paper

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

Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

2006 | conference-paper

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

2004 | book-chapter