Browsing CAS: Computer Science: Technical Reports by Author "Pericas-Geertsen, Santiago M."

Now showing items 1-3 of 3

Type Inference For Recursive Definitions

Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. (Boston University Computer Science Department, 2000-03-06)

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we ...
Type Inference for Variant Object Types

Bugliesi, Michele; Pericas-Geertsen, Santiago M. (Boston University Computer Science Department, 2000-10-16)

Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive ...
What Are Polymorphically-Typed Ambients?

Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. (Boston University Computer Science Department, 2000-10-19)

Abstract: The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We consider an Ambient Calculus where ambients transport and exchange programs rather ...

Now showing items 1-3 of 3

Search OpenBU