今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Guttman, Joshua D./Wand, Mitchell
S. Ephraim's Prose Refutations of Mani, Marcion, and Bardaisan
Ephraem, Syrus/Mitchell, Charles Wand/Bevan, A A
Essentials of Programming Languages
Friedman, Daniel P./Wand, Mitchell/Haynes, Christopher T.
Induction, Recursion and Programming
Wand, Mitchell
Essentials of programming languages
Daniel P. Friedman, Mitchell Wand
VLISP : a verified implementation of scheme
edited by Joshua D. Guttman, Mitchell Wand