| |
Semantics of Data Types (1984), pp. 301-315.
|
| |
In POPL '83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983), pp. 88-98.
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 10, No. 03. (2000), pp. 313-320.
|
| |
Programming Languages and Systems (2008), pp. 16-31.
|
| |
|
| |
|
| |
Information and Computation, Vol. 81, No. 2. (1989), pp. 123-167.
|
| |
Theoretical Computer Science, Vol. 136, No. 1. (1994), pp. 163-181.
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
Theoretical Computer Science, Vol. 115, No. 1. (5 July 1993), pp. 107-129.
|
| |
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 274-279.
|
| |
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 2-11.
|
| |
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 14-25.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305.
|
| |
In Proceedings 2nd Fuji Int.\ Workshop on Functional and Logic Programming, Shonan Village Center, Japan, 1--4 Nov.\ 1996 (1997), pp. 91-105.
|
