| |
In Liber Amicorum for Roel de Vrijer. Letters and essays dedicated to Roel de Vrijer on the occasion of his 60th birthday. (2009), pp. 191-197.
|
| |
Journal of Functional Programming, Vol. 5, No. 4. (1996), pp. 637-651.
|
| |
|
| |
Theor. Comput. Sci., Vol. 59, No. 3. (August 1988), pp. 317-325.
|
| |
SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 180-191.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 3-15.
|
| |
Indagationes Mathematicae (1972), pp. 381-392.
|
| |
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9.
|
| |
In Proceedings CADE-19, Vol. 2741 (2003), pp. 136-150.
|
| |
ACM Computing Surveys, Vol. 17 (1985), pp. 471-522.
|
| |
In Information and Computation, Vol. 109 (1994), pp. 750-770.
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
In MERLIN '05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding (2005), pp. 25-32.
|
| |
Journal of the Interest Group in Pure and Applied Logics, Vol. 9 (2) (2001), pp. 157-190.
|
| |
SIGPLAN Lisp Pointers, Vol. 2, No. 2. (1988), pp. 15-25.
|
| |
|
| |
|
| |
In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988)
|
| |
|
| |
In Church's Thesis After 70 Years (28 February 2007), pp. 518-544.
|
| |
Information Processing Letters, Vol. 94, No. 5. (15 June 2005), pp. 217-224.
|
| |
Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 239-257.
|
| |
Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
|
| |
Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65.
|
