| |
Typed Lambda Calculi and Applications (2001), pp. 166-181.
|
| |
Applied Semantics (2002), pp. 7-74.
|
| |
Logical Methods in Computer Science, Vol. 2, No. 2. (17 Mar 2006)
|
| |
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
Journal of Functional Programming, Vol. 5, No. 4. (1996), pp. 637-651.
|
| |
Transactions of the American Mathematical Society, Vol. 39, No. 3. (1936), pp. 472-482.
|
| |
Journal of Functional Programming, Vol. 1, No. 04. (1991), pp. 375-416.
|
| |
Logical Methods in Computer Science, Vol. 4, No. 4. (29 November 2008)
|
| |
Logical Methods in Computer Science, Vol. 4, No. 1. (17 March 2008)
|
| |
Logical Methods in Computer Science, Vol. 5, No. 3. (30 July 2009)
|
| |
|
| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2001), pp. 261-275.
|
| |
Theoretical Computer Science, Vol. 5, No. 3. (December 1977), pp. 223-255.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9.
|
| |
The Computer Journal, Vol. 6, No. 4. (1 January 1964), pp. 308-320.
|
| |
Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368.
|
| |
Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308.
|
| |
Journal of Symbolic Logic, Vol. 1, No. 1. (1936), pp. 40-41.
|
| |
|
| |
|
| |
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 2004 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.
|
| |
|
| |
|
| |
|
| |
|
| |
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.
|
Search
