| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 152-152.
|
| |
|
| |
LISP and Symbolic Computation, Vol. 7, No. 1. (1 January 1994), pp. 83-109.
|
| |
|
| |
Information and Computation, Vol. 193, No. 1. (25 August 2004), pp. 1-20.
|
| |
Theoretical Aspects of Computer Software (2001), pp. 459-467.
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 11, No. 02. (2001), pp. 207-260.
|
| |
Functional and Logic Programming (2002), pp. 167-182.
|
| |
In MERLIN '03: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding (2003), pp. 1-8.
|
| |
Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 83-110.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 12-23.
|
| |
SIGPLAN Not., Vol. 37, No. 9. (September 2002), pp. 271-282.
|
| |
In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, Vol. 28, No. 6. (June 1993), pp. 237-247.
|
| |
Programming Language Implementation and Logic Programming (1994), pp. 182-197.
|
| |
Foundations of Software Science and Computation Structures (2003), pp. 313-327.
|
| |
In Continuation Fest 2008 (13 April 2008)
|
| |
Programming Languages and Systems (2007), pp. 239-254.
|
| |
|
| |
In Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04).
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
Formal Aspects of Computing, Vol. 11, No. 4. (1999), pp. 426-447.
|
