| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 28 (2006)
|
| |
In In OOPSLA-ECOOP '90 Proceedings, pages 140--150. ACM SIGPLAN Notices,25(10, Vol. 25 (1990), pp. 140-150.
|
| |
In OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications (1990), pp. 303-311.
|
| |
|
| |
In CSE 02-012 (25 November 2002)
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 5. (September 1999), pp. 914-947.
|
| |
In In Principles of Programming Languages (POPL) (2003), pp. 213-223.
|
| |
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 147-172.
|
| |
In Advanced Functional Programming (1995), pp. 97-136.
|
| |
In Category Theory and Computer Science (1987), pp. 140-157.
|
| |
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
|
| |
|
| |
In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130.
|
| |
|
| |
In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 53-66.
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
Advanced Functional Programming (2005), pp. 130-170.
|
| |
Scheme Workshop In International Conference of Functional Programming (30 September 2007)
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 63-70.
|
| |
|
| |
SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 554-567.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85.
|
| |
Mathematical Structures in Computer Science, Vol. 6, No. 6. (1996), pp. 579-612.
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135.
|
| |
ECOOP 2007 – Object-Oriented Programming In ECOOP 2007 – Object-Oriented Programming, Vol. 4609/2007 (2007), pp. 373-398.
|
| |
|
| |
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61.
|
| |
|
| |
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 54-66.
|
| |
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications (2005), pp. 21-40.
|
| |
ECOOP 2007 – Object-Oriented Programming (2007), pp. 2-27.
|
| |
SIGPLAN Notices In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Vol. 26, No. 11. (1991)
|
| |
|
| |
|
