A theory of primitive objects: untyped and first-order systems

The Theory of Fexprs is Trivial

Lisp and Symbolic Computation

Object Calculus and the Object-Oriented Analysis and Design of an Error-Sensitive GIS

Geoinformatica

A Modular, Extensible Proof Method for Small-Step Flow Analyses

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems

Bounded Polymorphism for Extensible Objects

TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs

Self

Proceedings of the third ACM SIGPLAN conference on History of programming languages

Spatial-behavioral types for concurrency and resource control in distributed systems

Theoretical Computer Science

Generics of a higher kind

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications

Java as a functional programming language

TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs

Spatial-behavioral types, distributed services, and resources

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing