Skip to content

A Higher-Order Logic Programming Language with Constraints.

Javier Leach, Susana Nieva

Year2001
ProceedingsFLOPS

Browse the full FLOPS paper archive.