more....
["Functional Programming and the Logical Variable", G. Lindstrom, POPL 1985, pp. 266-280].
(1994-11-30)
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)