Share This Author
This chapter introduces a calculus describing the movement of processes and devices, including movement through administrative domains.
A Theory of Objects
This book takes a novel approach to the understanding of object-oriented languages by introducing object calculi and developing a theory of objects around them, which covers both the semantics of objects and their typing rules.
On understanding types, data abstraction, and polymorphism
A λ-calculus-based model for type systems that allows us to explore the interaction among the concepts of type, data abstraction, and polymorphism in a simple setting, unencumbered by complexities of production programming languages is developed.
A Semantics of Multiple Inheritance
- L. Cardelli
- Computer ScienceInf. Comput.
- 1 July 1984
Programming with taxonomically organized data is often called objectoriented programming, and has been advocated as an effective way of structuring programming environments, data bases, and large systems in general.
The λ&sgr;-calculus is a refinement of the λ-calculus where substitutions are manipulated explicitly. The λ&sgr;-calculus provides a setting for studying the theory of substitutions, with pleasant…
Dynamic typing in a statically-typed language
This paper is an exploration of the syntax, operational semantics, and denotational semantics of a simple language with the type Dynamic, and discusses an operational semantics for this language and obtains a soundness theorem.
BioAmbients: an abstraction for biological compartments
Subtyping recursive types
It is shown that to every pair of types in the subtype relation the authors can associate a term whose denotation is the uniquely determined coercion map between the two types, and derive an algorithm that can infer its least type whenever possible.
A language with distributed scope
- L. Cardelli
- Computer SciencePOPL '95
- 25 January 1995
Obliq is a lexically-scoped, untyped, interpreted language that supports distributed object-oriented computation and distributed lexical scoping is the key mechanism for managing distributed computation.
Anytime, anywhere: modal logics for mobile ambients
In order to describe properties of mobile computations the authors devise a modal logic that can talk about space as well as time, and that has the Ambient Calculus as a model.