| |
In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 1-13.
|
| |
|
| |
In Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications (2004), pp. 116-129.
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (June 2005)
|
| |
Journal of Documentation, Vol. 51 (1995), pp. 3-17.
|
| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
| |
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 60-71.
|
| |
|
| |
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 291-300.
|
| |
In ECOOP '98: 12th European Conference on Object-Oriented Programming, Brussels, Belgium, Vol. 1445 (1998), pp. 186-211.
|
| |
SIGPLAN Not. In OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications, Vol. 22, No. 12. (December 1987), pp. 227-242.
|
| |
No. STAN-CS-92-1420. (1992)
|
| |
|
| |
In Object-Oriented Concepts, Databases and Applications (1989), pp. 31-48.
|
| |
|
| |
|
| |
Proceedings CHI'96: Human Factors in Computing Systems (14 April 1996)
|
| |
|
| |
In The Design Patterns Smalltalk Companion (1998)
|
| |
In Metapattern: Context and Time in Information Models (2000)
|
| |
In Understanding Computers and Cognition (1987)
|
| |
In The Algorithm Design Manual (1998)
|
| |
In Structure and Interpretation of Computer Programs (1984)
|
| |
In A Functional Pattern System for Object-Oriented Design (1999)
|
| |
In Interactive Programming Environments (1984)
|
| |
In Refactoring: Improving the Design of Existing Code (1999)
|
| |
In Visual Object-Oriented Programming (1995)
|
| |
In Exploring Logical Dynamics (1996)
|
| |
In Logic and Visual Information (1995)
|
| |
In Arrow Logic and Multi-Modal Logic (1996)
|
| |
In Partiality, Modality and Nonmonotonicity (1996)
|
| |
In Specifying Syntactic Structures (1997)
|
| |
In A Paradigm for Program Semantics: Power Structures and Duality (2001)
|
| |
In Algebras, Diagrams and Decisions in Language, Logic and Computation (2002)
|
| |
In Computing Natural Language (1998)
|
| |
In An Introduction to Substructural Logics (1999)
|
| |
In Information Flow : The Logic of Distributed Systems (1997)
|
| |
In Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (1996)
|
| |
In Language, Proof and Logic (1999)
|
| |
In Purely Functional Data Structures (1999)
|
| |
In Term Rewriting and All That (1998)
|
| |
In Solving Higher-Order Equations: From Logic to Programming (1997)
|
| |
In A Mathematical Theory of Communication (1948)
|
| |
In Categories for the Working Mathematician (1998)
|
| |
In Conceptual Mathematics: A First Introduction to Categories (1997)
|
| |
In A Shorter Model Theory (1997)
|