A Higher-Order Programming Language with Constraints.

Javier Leach Susana Nieva A Higher-Order Programming Language with Constraints. 440-454 2000 conf/wflp/2000 WFLP db/conf/wflp/wflp2000.html#LeachN00