Inheritance and explicit coercion

Interfaces for strongly-typed object-oriented programming

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications

A semantic basis for quest

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Computing with coercions

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Toward a typed foundation for method specialization and inheritance

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quasi-static typing

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

F-bounded polymorphism for object-oriented programming

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture

Theorems for free!

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture

New hope on data models and types: report of an NSF-INRIA workshop

ACM SIGMOD Record - Directions for future database research & development

Introduction to the literature on object-oriented design, programming, and languages

ACM SIGPLAN OOPS Messenger

A system of constructor classes: overloading and implicit higher-order polymorphism

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture

Threesomes, with and without blame

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Journal of Computer Security - Foundational Aspects of Security