| |
In ML '06: Proceedings of the 2006 workshop on ML (2006), pp. 32-42.
|
| |
Theor. Comput. Sci., Vol. 103, No. 2. (September 1992), pp. 235-271.
|
| |
In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 236-248.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (October 2003), pp. 241-254.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 63-70.
|
| |
|
| |
In Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 198-207.
|
| |
|
| |
In Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida (1986), pp. 277-286.
|
| |
In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76.
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 343-355.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 20, No. 4. (July 1998), pp. 707-723.
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212.
|
| |
In Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 252-265.
|
| |
In ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon (1994)
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 50-61.
|
Search
