| |
|
| |
Higher-Order and Symbolic Computation, Vol. 11, No. 2. (1998), pp. 209-225.
|
| |
|
| |
|
| |
|
| |
|
| |
Theoretical Computer Science, Vol. 254, No. 1--2. (2001), pp. 151-185.
|
| |
|
| |
|
| |
In PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, Vol. 24, No. 7. (July 1989), pp. 218-226.
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1644 (1999)
|
| |
In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 139-149.
|
| |
Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
|
| |
In Conf.\ Record 17th Annual ACM Symp.\ on Principles of Programming Languages, POPL'90, San Francisco, CA, USA, 17--19 Jan 1990 (1990), pp. 47-57.
|
| |
|
| |
|
| |
In Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01) (2001), pp. 13-22.
|
| |
In Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW'01) (2001), pp. 13-22.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 2-13.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 40-53.
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457.
|
| |
Theor. Comput. Sci., Vol. 52, No. 3. (June 1987), pp. 205-237.
|
| |
|
CiteULike
dherman's CiteULike
Search
Export
