Constructive mathematics and computer programming
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
ACM SIGPLAN Notices
Typed representation of objects by functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
The point of view notion for multiple inheritance
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
ACM Transactions on Database Systems (TODS)
COMSPEC: a software architecture for users with special needs
CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
Communications of the ACM
Formal methods for distributed processing
Expert Systems: A View of the Field
IEEE Expert: Intelligent Systems and Their Applications
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Overview of a Parallel Object-Oriented Language CLIX
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
A type system for static and dynamic checking of C++ pointers
Computer Languages, Systems and Structures
| Hi-index | 0.02 |