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 cuenta con el apoyo de:

Acerca de Dominio Público Uruguay

Ayuda

Documentación