PCF A simply typed, functional language. ["Fully Abstract Translations Between Functional Languages", J. Riecke, 18th POPL, pp. 245-254 (1991)]. ["LCF Considered as a Programming Language", Theor CS 5:223, 1977]. (1996-01-18)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.