| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227.
|
| |
|
| |
|
| |
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
In Principles of Programming Languages (1987)
|
| |
In Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99) (1999), pp. 295-309.
|
| |
Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540.
|
| |
In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46.
|
| |
In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California (1990), pp. 31-46.
|
| |
|
| |
In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988)
|
| |
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 Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41.
|
| |
In CLICS Cambridge Summer School. (1996)
|
| |
Information and Computation, Vol. 76, No. 2-3. ( 1988), pp. 95-120.
|
| |
Information and Computation, Vol. 81, No. 2. (1989), pp. 123-167.
|
| |
|
| |
Types for Proofs and Programs (1994), pp. 62-78.
|
Search
