Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Koen Claessen

Paradox

automated theorem proving system

QuickCheck

software testing software

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

description of the Verse programming language

Paulina is supported by:

About Paulina

Help