|
|
Look up:
SASL LV
-
SASL+LV
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.
Found op http://foldoc.org/SASL%2bLV
Tip: double click on a word to show its meaning.
No exact matches found.
|
Search
Typ a word and hit `Search`.
Recent searches
The most recent searches on Encyclo. Between brackets you will find the number of results and number of related results.
• Vladimir Glotov (1)
• Lamb`s Rock (1)
• tour (16)
• Hines Bannick syndrome (1)
• hydrobiont (2)
• prizolla (1)
• Upriver (5)
• Lake Shangrila, Wiscon (1)
• Qanawat (1)
• Lake Iijärvi (3)
• Conway, Nova Scotia (1)
• John S. Armstrong (1)
• Automatic Send Receive (1)
• André Cazeneuve (1)
• Savage Syndrome (4)
• flowbox (1)
• Lambeth degree (1)
• hydrobiont (2)
• Siegmund (2)
• membracidae (3)
• Lamb's quarters (4)
• hydrobiont (2)
• uxor (10)
• Functional structurali (2)
|
