サクサク読めて、アプリ限定の機能も多数！
タグをすべて表示
タグの絞り込みを解除
Odoweb Klicka på länken for att komma till SOMWeb: http://www.somweb.se/odoweb
ランキング
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
SOMWeb
1
Wouter Swierstra
A Note on Declarative Programming Paradigms and the Future of Definitional Programming
LERNET 2008
A Note on Declarative Programming Paradigms and the Future of Definitional Programming
Mechanizing common knowledge logic using COQ
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20071201
A Note on Declarative Programming Paradigms and the Future of Definitional Programming
TPP Meeting: Local Arrangements
Ulf Norell
TYPES Summer School 2005 -- Program and Social Activities
The Implementation of a setoid model in LEGO
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20050924
ヒビルテ(2005-05-14)
ヒビルテ(2007-08-29)