| |
|
| |
|
| |
|
| |
SIGPLAN Notices, Vol. 35, No. 6. (2000), pp. 26-36.
|
| |
|
| |
|
| |
|
| |
|
| |
No. RT-0117. (February 1990)
|
| |
In Functional Programming, Concurrency, Simulation and Automated Reasoning (1993), pp. 32-46.
|
| |
|
| |
|
| |
In ECOOP '98: 12th European Conference on Object-Oriented Programming, Brussels, Belgium, Vol. 1445 (1998), pp. 186-211.
|
| |
In HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 (2001)
|
| |
|
| |
In Conference Record of POPL '96: The $23^\mathrmrd$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (FebruaryJanuary--FebruaryApril 1996), pp. 295-308.
|
| |
In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000)
|
| |
In ACM Symposium on Principles of Programming Languages (POPL), St.~Petersburg Beach, Florida (1996), pp. 42-53.
|
| |
|
| |
In Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersberg Beach, Florida (1996), pp. 54-67.
|
| |
J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
|
| |
Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45.
|
| |
In Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 161-175.
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457.
|
| |
In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 185-196.
|
| |
|
| |
|
| |
In International Conference on Functional Programming (1997), pp. 196-203.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 41-42.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272.
|
| |
No. NOTTCS-TR-96-4. (1996)
|
| |
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
|
| |
Journal of Systems and Software, Vol. 56, No. 1. (1 February 2001), pp. 91-99.
|
| |
In Domain-Specific Languages (1999), pp. 81-94.
|
| |
In SAIG (2000), pp. 9-27.
|
| |
|
| |
|
| |
Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 269-303.
|
| |
In LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming (1988), pp. 96-105.
|
| |
In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292.
|
| |
|