翻訳と辞書
Words near each other
・ sap
・ sap ag
・ sapi
・ sar
・ sas
・ sas system
・ sasd
・ sase
・ sasi
・ sasl
sasl+lv
・ sasl-yacc
・ sata
・ satan
・ sather
・ sather-k
・ satisfiability problem
・ saturation
・ saturday-night special
・ save


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

sasl+lv : FOLDOC
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.



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.