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

Shinya Sato, Toru Sugimoto, Shinichi Yamada

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	271-284
Journal	Proceedings of International Workshop on Functional and (Constraint) Logic Programming
Publication status	Published - 2001 Sept 13

Cite this

@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 -