Type systems for object-oriented programming languages

The security of static typing with dynamic linking

Proceedings of the 4th ACM conference on Computer and communications security

A lambda calculus of objects with self-inflicted extension

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

The design of a class mechanism for Moby

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation

Representing Java classes in a typed intermediate language

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming

An efficient class and object encoding

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Privacy via subsumption

Information and Computation - FOOL V

Inheritance-based subtyping

Information and Computation - FOOL VII

Products and polymorphic subtypes

Fundamenta Informaticae

The Recursive Record Semantics of Objects Revisited

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems

A Core Calculus of Classes and Mixins

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming

Extending Moby with Inheritance-Based Subtyping

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming

The recursive record semantics of objects revisited

Journal of Functional Programming

Higher-order subtyping and its decidability

Information and Computation

A simple typed intermediate language for object-oriented languages

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Safe and flexible objects

Proceedings of the 2005 ACM symposium on Applied computing

Type Checking for JavaScript

Electronic Notes in Theoretical Computer Science (ENTCS)

Recency types for analyzing scripting languages

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming

Towards type inference for javascript

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Products and Polymorphic Subtypes

Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)

Gradual typing for first-class classes

Proceedings of the ACM international conference on Object oriented programming systems languages and applications