| |
|
| |
|
| |
No. CS-TR-4514. (July 2003)
|
| |
Journal of Functional Programming, Vol. 6, No. 2. (1996), pp. 195-244.
|
| |
In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 28-38.
|
| |
ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 166-178.
|
| |
|
| |
In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 42-53.
|
| |
In ERLANG '06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang (2006), pp. 38-50.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77.
|
| |
|
| |
Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111.
|
| |
In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 351-363.
|
| |
|
| |
No. EMP-CRI E/150. (1991)
|
| |
Inf. Process. Lett., Vol. 83, No. 3. (August 2002), pp. 145-150.
|
| |
Inf. Process. Lett., Vol. 44, No. 4. (December 1992), pp. 215-220.
|
| |
|
| |
Bulletin of the IGPL, Vol. 2, No. 1. (1994), pp. 77-107.
|
| |
|
| |
|
| |
|
| |
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
| |
|
| |
In International Conference on Functional Programming (2001), pp. 169-180.
|
| |
In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996. Seattle, {WA} (1996), pp. 229-243.
|
| |
Journal of Functional Programming
|
| |
|
| |
|
| |
|
| |
Correct System Design (1999), pp. 114-136.
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227.
|
| |
In International Conference on Functional Programming (2001), pp. 181-192.
|
| |
|
| |
Information and Computation (1997)
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 63-74.
|
| |
In Functional Programming Languages and Computer Architecture (1995)
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 198-208.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 66-77.
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (jan 1997), pp. 106-119.
|
| |
In Formal Description of Programming Concepts (1991), pp. 431-507.
|
| |
|
| |
Science of Computer Programming, Vol. 8, No. 2. (1987), pp. 147-172.
|
| |
ACM Computing Surveys, Vol. 17, No. 4. (1985), pp. 471-522.
|
| |
In In ACM Sigplan Notices, Vol. 29 (1994), pp. 55-59.
|
| |
In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (2005), pp. 280-280.
|
Search
