| |
ACM Trans. Program. Lang. Syst., Vol. 12, No. 1. (January 1990), pp. 135-138.
|
| |
Commun. ACM, Vol. 45, No. 10. (October 2002), pp. 41-44.
|
| |
In In Proceedings of the 19th Australasian Computer Science Conference (1996)
|
| |
In ICFP 2005 (2005), pp. 204-215.
|
| |
In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 55-65.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 108-115.
|
| |
In Trends in Functional Programming, Vol. 7 (2006), pp. 199-216.
|
| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 133-144.
|
| |
In International Conference on Software Reuse (2000), pp. 117-136.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
Journal of Network and Computer Applications, Vol. 24, No. 1. (January 2001), pp. 63-74.
|
| |
SIGPLAN Not., Vol. 10, No. 7. (July 1975), pp. 18-21.
|
| |
|
| |
|
| |
In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104.
|
| |
|
| |
|
| |
In International Workshop on Unanticipated Software Evolution (June 2002)
|
| |
In Workshop on Multiparadigm Programming with Object-Oriented Languages (June # 2001)
|
| |
No. NOTTCS-TR-96-3. (November 1996)
|
| |
Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236.
|
| |
|
| |
In Proceedings of the International Conference on Functional Programming (September # 2001)
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135.
|
| |
In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 373-425.
|
| |
In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 295-350.
|
| |
|
| |
ACM Computing Surveys, Vol. 17, No. 4. (1985), pp. 471-522.
|