Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Jump to user comments
Unifies logic and functional programming. A more complete
version of FGL+LV, in SASL syntax. "Combinator Evaluations of
Functional Programs with Logical Variables", G. Bage et al, TR
UUCS-87-027, U Utah, Oct 1987.
Related search result for "SASL+LV"
Comments and discussion on the word "SASL+LV"