Advanced search

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

List of works by Koen Claessen

View this query on the Wikidata Query Service
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