Talks and Presentations.
Etna
An Evaluation Platform for Property-Based Testing
Programming Contest Report
ICFP Programming Contest 2022
Introduction to Property-Based Testing
A short introductory presentation on property-based testing
Lambdaconf
Designing A Functional Document Processor