| |
|
| |
|
| |
|
| |
|
| |
In CSL (1994), pp. 427-441.
|
| |
Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 88-127.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 29-40.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
Computing Systems, Vol. 2, No. 2. (1989), pp. 133-153.
|
| |
In Conference Record of the 1980 LISP Conference, Stanford University (1980)
|
| |
|
| |
|
| |
Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
|
| |
|
| |
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 232-244.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148, No. 2. (24 March 2006), pp. 155-180.
|
| |
|
| |
|
| |
|
| |
|
| |
In International Conference on Functional Programming (1997), pp. 196-203.
|
| |
|
| |
|
| |
|
| |
|
| |
In ERLANG '03: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang (2003), pp. 43-55.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 9-16.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 52-61.
|
| |
|
| |
In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000)
|
| |
|
| |
|
| |
In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236.
|
| |
|
| |
|
| |
|
| |
SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 1. (June 2004), pp. 25-36.
|
| |
ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643.
|
| |
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
|
| |
|
| |
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 4-15.
|
| |
In Proc. UK Joint Framework for Information Technology ({JFIT}) Technical Conference (93)
|
| |
J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 393-434.
|
| |
|
| |
Journal of Functional Programming, Vol. 8, No. 4. (1998)
|
| |
|
| |
|
