| |
LISP and Symbolic Computation, Vol. 5, No. 4. (1 December 1993), pp. 295-326.
|
| |
In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1991), pp. 155-162.
|
| |
In LFP '86: Proceedings of the 1986 ACM Conference on LISP and Functional Programming (1986), pp. 151-161.
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1987), pp. 77-84.
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16.
|
| |
J. Funct. Program., Vol. 18, No. 5-6. (2008), pp. 707-780.
|
| |
In Science of Computer Programming, Vol. 17 (1990), pp. 134-151.
|
| |
|
| |
Automated Software Engg., Vol. 11, No. 4. (October 2004), pp. 337-364.
|
| |
Commun. ACM, Vol. 2, No. 11. (November 1959), pp. 21-22.
|
| |
The Computer Journal, Vol. 8, No. 3. (1 March 1965), pp. 225-241.
|
| |
The Computer Journal, Vol. 14, No. 3. (1 March 1971), pp. 229-231.
|
| |
In Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 133-141.
|
| |
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1993), pp. 156-165.
|
| |
In Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 37, No. 3. (March 2002), pp. 31-40.
|
| |
|
| |
In OOPSLA '98 Addendum: Addendum to the 1998 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) (1998)
|
| |
|
| |
Lisp and Symbolic Computation: An International Journal, Vol. 1, No. 1. (1988), pp. 53-76.
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 1988 ACM Conference on {LISP} and Functional Programming, Snowbird, {UT} (1988), pp. 86-95.
|
| |
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 74-85.
|
| |
In Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 36, No. 11. (November 2001), pp. 31-42.
|
| |
|
| |
|
| |
|
| |
|
| |
Lisp Symb. Comput., Vol. 5, No. 4. (December 1992), pp. 295-326.
|
| |
In Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 203-215.
|
| |
|
| |
|
| |
In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 72-83.
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 2-14.
|
| |
|
| |
Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236.
|
| |
In Proceedings of the 1988 ACM conference on LISP and functional programming (1988), pp. 86-95.
|
| |
In Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security (1996), pp. 254-265.
|
| |
In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27.
|
| |
|
| |
In Proceedings of Monterey Workshop (2001)
|
| |
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 201-212.
|
| |
In Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 143-150.
|
| |
SIGPLAN Lisp Pointers, Vol. IV, No. 2. (1991), pp. 3-15.
|
Search
