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

Shinya Sato, Toru Sugimoto, Shinichi Yamada

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)271-284
JournalProceedings of International Workshop on Functional and (Constraint) Logic Programming
Publication statusPublished - 2001 Sep 13

Cite this