Lista de obras - Koen Claessen - Dominio Público Uruguay

Lista de obras de Koen Claessen

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

description of the Verse programming language

Paradox

automated theorem proving system

QuickCheck

software testing software

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda

Documentación