FGL+LV

FGL+LV

["Functional Programming and the Logical Variable", G. Lindstrom, POPL 1985, pp. 266-280].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)