concurrent constraint programming. Available as file://parcftp.xerox.com/pub/ccp/lcc/hlcc.dvi (1993)

by linear Higher-order