| |
Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45.
|
| |
In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292.
|
| |
No. NOTTCS-TR-96-4. (1996)
|
| |
In Functional Programming Languages and Computer Architecture (1995)
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
| |
In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 185-196.
|
| |
In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104.
|
| |
J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457.
|
| |
In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 155-162.
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
|
| |
In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 174-185.
|
| |
SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 502-514.
|
| |
In Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 161-175.
|
| |
|
| |
In Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 128-139.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
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.
|
| |
In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000)
|
| |
|
| |
No. RT-0117. (February 1990)
|
| |
|
| |
In Functional Programming, Concurrency, Simulation and Automated Reasoning (1993), pp. 32-46.
|
| |
In ACM Symposium on Principles of Programming Languages (POPL), St.~Petersburg Beach, Florida (1996), pp. 42-53.
|
| |
No. NOTTCS-TR-96-3. (November 1996)
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272.
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16.
|
| |
In Proceedings of the ACM SIGPLAN~'98 Conference on Programming Language Design and Implementation (1998), pp. 236-248.
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
|
| |
Automated Software Engg., Vol. 11, No. 4. (October 2004), pp. 337-364.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 146-156.
|
| |
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61.
|
| |
|
| |
In Proceedings of 22nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) (1995), pp. 233-246.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 19, No. 1. (January 1997), pp. 87-152.
|
| |
In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 242-257.
|
| |
Lecture Notes in Computer Science, Vol. 1799 (2000)
|
| |
|
| |
In Proceedings of the 12th European Conference on Object-Oriented Programming (1998), pp. 91-113.
|
| |
|
| |
In International Conference on Functional Programming (1997), pp. 196-203.
|
| |
|
| |
|
| |
|
| |
netWorker, Vol. 7, No. 3. (September 2003), pp. 18-23.
|
| |
|
| |
Theoretical Computer Science, Vol. 149, No. 1. (1995), pp. 3-48.
|
| |
|
| |
In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (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 The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (2002), pp. 299-315.
|
| |
In ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming, Vol. 31, No. 6. (June 1996), pp. 110-121.
|
| |
Commun. ACM, Vol. 40, No. 3. (March 1997), pp. 63-65.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 63-74.
|
| |
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.
|
| |
|
| |
Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
|
| |
|
| |
In Proc. 15th International Conf. on Machine Learning (1998), pp. 296-304.
|
| |
|
| |
Commun. ACM, Vol. 47, No. 12. (December 2004), pp. 47-52.
|
| |
In Proc. of OOPSLA (oct 2001)
|
| |
|
| |
In The Second International Summer School on Advanced Functional Programming Techniques (August 1996)
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76.
|
| |
In ERLANG '03: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang (2003), pp. 43-55.
|
| |
|
| |
ACM Trans. Internet Technol., Vol. 5, No. 1. (February 2005), pp. 1-46.
|
| |
|
| |
In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343.
|
| |
|
| |
|
| |
In Foundations of Software Science and Computation Structure (2002), pp. 342-356.
|
| |
In Proceedings of the 2002 International Conference on Functional Programming (Oct 2002)
|
| |
SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20.
|
| |
|
| |
ACM Comput. Surv., Vol. 37, No. 4. (December 2005), pp. 316-344.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122.
|
| |
|
Search
