Partial Evaluation of Call-by-value lambda-calculus with Side-effects (0)
Cached
Download Links
- [www-imai.is.s.u-tokyo.ac.jp]
- [www.is.s.u-tokyo.ac.jp]
- DBLP
Other Repositories/Bibliography
by
Kenichi Asai
,
Hidehiko Masuhara
,
Akinori Yonezawa
| Venue: | ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97 |
| Citations: | 5 - 5 self |
Document Versions
| Partial Evaluation of Call-by-value lambda-calculus with Side-effects –Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa — ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97 |
| Partial Evaluation of Call-by-value lambda-calculus with Side-effects –Kenichi Asai, Kenichi Asai, Hidehiko Masuhara, Hidehiko Masuhara, Akinori Yonezawa, Akinori Yonezawa — 1996 |
