| |
In OOPSLA '09: Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (2009), pp. 503-522.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (1999), pp. 502-526.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Computing in Science and Engineering, Vol. 9, No. 3. (2007), pp. 10-20.
|
| |
|
| |
In CRC Handbook of Computer Science (1997), pp. 2237-2254.
|
| |
In Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques, Vol. 1 (1989), pp. 217-261.
|
| |
|
| |
Computer Applications in the Biosciences, Vol. 10 (1994), pp. 227-235.
|
| |
|
| |
|
| |
In CASES '02: Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems (2002), pp. 288-297.
|
| |
Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85.
|
| |
|
| |
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 395-406.
|
| |
IEEE Transactions on Software Engineering, Vol. 18, No. 3. (1992), pp. 190-205.
|
| |
SIGPLAN Notices, Vol. 25, No. 5. (1990), pp. 17-24.
|
| |
|
| |
In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 35, No. 10. (October 2000), pp. 47-65.
|
| |
In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 35, No. 10. (October 2000), pp. 294-310.
|
| |
In Conference on Object-Oriented (2001), pp. 108-124.
|
| |
In Proceedings ACM 1999 Java Grande Conference (June 1999), pp. 129-141.
|
| |
Commun. ACM, Vol. 3, No. 4. (April 1960), pp. 184-195.
|
| |
In Proc.\ Int.\ Workshop on Memory Management, No. 637. (1992)
|
| |
In PACT '99: Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques (1999)
|
| |
In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 33, No. 10. (October 1998), pp. 36-44.
|
| |
In CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification (2001), pp. 265-285.
|
| |
In Implementation of Functional Languages (1998), pp. 169-185.
|
Search
