| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9.
|
| |
|
| |
LISP and Symbolic Computation, Vol. 2, No. 3. (1 October 1989), pp. 179-396.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 38-49.
|
| |
Theor. Comput. Sci., Vol. 59, No. 3. (August 1988), pp. 317-325.
|
| |
The Bulletin of Symbolic Logic, Vol. 2, No. 3. (1996), pp. 284-321.
|
| |
SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 180-191.
|
| |
Information and Computation, Vol. 93, No. 1. (July 1991), pp. 55-92.
|
| |
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 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9.
|
| |
ACM Computing Surveys, Vol. 17 (1985), pp. 471-522.
|
| |
In Information and Computation, Vol. 109 (1994), pp. 750-770.
|
| |
Typed Lambda Calculi and Applications (1999), pp. 644-644.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 219 (20 November 2008), pp. 83-96.
|
| |
|
| |
|
| |
|
| |
|
| |
Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
|
| |
In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988)
|
| |
In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California (1990), pp. 31-46.
|
| |
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 TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 53-66.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65.
|
| |
|
| |
Information and Computation, Vol. 193, No. 1. (25 August 2004), pp. 1-20.
|
| |
Theoretical Aspects of Computer Software (2001), pp. 459-467.
|
| |
The Journal of Symbolic Logic, Vol. 5, No. 2. (1940), pp. 56-68.
|
| |
Higher Order Symbol. Comput., Vol. 20, No. 3. (September 2007), pp. 295-318.
|
| |
|
| |
Fundam. Inf., Vol. 77, No. 4. (December 2007), pp. 489-510.
|
| |
Archive for Mathematical Logic, Vol. 30, No. 5. (1991), pp. 405-408.
|
| |
Annals of Pure and Applied Logic (March 1999), pp. 179-201.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359.
|
| |
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 333-343.
|
| |
In Advanced Functional Programming (1995), pp. 97-136.
|
| |
Typed Lambda Calculi and Applications (1999), pp. 67-67.
|
| |
In Category Theory and Computer Science (1987), pp. 140-157.
|
| |
|
| |
Automata, Languages and Programming (1999), pp. 709-710.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
Bulletin of Symbolic Logic, Vol. 3, No. 3. (1997), pp. 181-215.
|
| |
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.
|
| |
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.
|
| |
Inf. Comput., Vol. 115, No. 1. (November 1994), pp. 38-94.
|
| |
Indagationes Mathematicae (Proceedings), Vol. 75, No. 5. (1972), pp. 381-392.
|
