An Implementation Model of the Typed λ Calculus Based on Linear Chemical Abstract Machine

Shinya Sato, Toru Sugimoto, Shinichi Yamada

研究成果: Article査読

本文言語English
ページ(範囲)271-284
ジャーナルProceedings of International Workshop on Functional and (Constraint) Logic Programming
出版ステータスPublished - 2001 9 13

引用スタイル