| |
In Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS'99) (1999), pp. 214-224.
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 263-274.
|
| |
Lecture Notes in Computer Science
|
| |
Lisp Symb. Comput., Vol. 7, No. 4. (December 1994), pp. 337-343.
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313.
|
| |
In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 35, No. 10. (October 2000), pp. 208-228.
|
| |
Higher Order Symbol. Comput., Vol. 15, No. 2-3. (2002), pp. 161-180.
|
| |
|
| |
In LFP '94: Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 306-317.
|
| |
Lecture Notes in Computer Science, pp. 22-37.
|
| |
In Proceedings of the 10th European Symposium on Programming Languages and Systems (2001), pp. 320-334.
|
| |
In Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 94-104.
|
| |
In Proceedings of the 12th European Conference on Object-Oriented Programming (1998), pp. 91-113.
|
| |
Journal of Functional Programming, Vol. 12, No. 02. (March 2002), pp. 159-182.
|
| |
Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75.
|
| |
|
| |
|
| |
|
| |
|
| |
In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12.
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 1984 ACM Conference on LISP and Functional Programming (1984), pp. 198-207.
|
| |
High Performance Distributed Computing, 1999. Proceedings. The Eighth International Symposium on (1999), pp. 115-124.
|
| |
Software - Practice and Experience, Vol. 9, No. 4. (1979), pp. 255-65.
|
| |
|
| |
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 37-49.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
ACM Letters on Programming Languages and Systems, Vol. 1, No. 2. (June 1992), pp. 161-177.
|
| |
In Functional Programming, Concurrency, Simulation and Automated Reasoning (1993), pp. 32-46.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 20, No. 6. (November 1998), pp. 1251-1264.
|
| |
|
| |
|
| |
SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20.
|
| |
In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 356-364.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 20, No. 4. (July 1998), pp. 845-868.
|
| |
|
| |
In Proc. ACM SIGPLAN '96 Conference on Programming Language Design and Implementation (1996), pp. 181-192.
|
| |
SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 502-514.
|
| |
In Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations, Vol. 30, No. 3. (March 1995), pp. 13-22.
|
| |
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.
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 209-220.
|
Search
