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

引用スタイル

@article{8f6927c54ab047d8ae2f33df964adaa8,

title = "An Implementation Model of the Typed λ Calculus Based on Linear Chemical Abstract Machine",

author = "Shinya Sato and Toru Sugimoto and Shinichi Yamada",

year = "2001",

month = sep,

day = "13",

language = "English",

pages = "271--284",

journal = "Proceedings of International Workshop on Functional and (Constraint) Logic Programming",

}

TY - JOUR

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

AU - Sato, Shinya

AU - Sugimoto, Toru

AU - Yamada, Shinichi

PY - 2001/9/13

Y1 - 2001/9/13

M3 - Article

SP - 271

EP - 284

JO - Proceedings of International Workshop on Functional and (Constraint) Logic Programming

JF - Proceedings of International Workshop on Functional and (Constraint) Logic Programming

ER -