Search filters

List of works by Koen Claessen

Paradox

automated theorem proving system

QuickCheck

software testing software

Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

scientific article published on 15 August 2024

Testing monadic code with QuickCheck

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

scientific article published on 31 August 2023

The Verse Calculus: a Core Calculus for Functional Logic Programming ⬇️

description of the Verse programming language

Paulina is supported by:

About Paulina

Help