| |
|
| |
|
| |
In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12.
|
| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
| |
In Proc. of the international symposium on Semantics of data types (1984), pp. 51-67.
|
| |
|
| |
In Proceedings of the \mbox{OOPSLA}~'87 Conference on Object-Oriented Programming Systems, Languages and Applications (1987), pp. 156-162.
|
| |
In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages (January 1990), pp. 136-150.
|
| |
|
| |
|
| |
In {ESOP}'90, 3rd European Symposium on Programming, Vol. 432 (May 1990), pp. 134-151.
|
| |
|
| |
|
| |
In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (1999), pp. 132-146.
|
| |
|
| |
In Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (1998), pp. 201-215.
|
| |
In Proceedings of the 2004 ACM SIGPLAN Conference on Object-oriented Programing, Systems, Languages, and Applications (2004)
|
| |
In Conference proceedings on Object-oriented Programming Systems, Languages and Applications (1987), pp. 227-242.
|
| |
In Proceedings of the 2003 ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (2003), pp. 96-114.
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the \mbox{OOPSLA}~'93 Conference on Object-Oriented Programming Systems, Languages and Applications (September 1993), pp. 215-230.
|
| |
Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236.
|
Search
