Santiago M. Pericás-Geertsen

Publication Activity (10 Years)

Years Active: 1999-2002
Publications (10 Years): 0

Publications

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
Orderly communication in the Ambient Calculus. Comput. Lang. Syst. Struct. 28 (1) (2002)
Michele Bugliesi, Santiago M. Pericás-Geertsen
Type Inference for Variant Object Types. Inf. Comput. 177 (1) (2002)
Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
What Are Polymorphically-Typed Ambients? ESOP (2001)
A. J. Kfoury, Santiago M. Pericás-Geertsen
Type Inference for Recursive Definitions. LICS (1999)