Santiago M. Pericás-Geertsen

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
Type Inference for Variant Object Types.
Inf. Comput., 2002

Orderly communication in the Ambient Calculus.
Comput. Lang. Syst. Struct., 2002

2001
What Are Polymorphically-Typed Ambients?
Proceedings of the Programming Languages and Systems, 2001

1999
Type Inference for Recursive Definitions.
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999


  Loading...