Santiago M. Pericás-Geertsen

According to our database, Santiago M. Pericás-Geertsen authored at least 4 papers between 1999 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2002

Type Inference for Variant Object Types.

Michele Bugliesi, Santiago M. Pericás-Geertsen

Inf. Comput., 2002

Orderly communication in the Ambient Calculus.

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen

Comput. Lang. Syst. Struct., 2002

2001

What Are Polymorphically-Typed Ambients?

Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen

Proceedings of the Programming Languages and Systems, 2001

1999

Type Inference for Recursive Definitions.

A. J. Kfoury, Santiago M. Pericás-Geertsen

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999