|
Search the dblp DataBase
Santiago M. Pericás-Geertsen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
What Are Polymorphically-Typed Ambients? [Citation Graph (0, 0)][DBLP] ESOP, 2001, pp:206-220 [Conf]
- A. J. Kfoury, Santiago M. Pericás-Geertsen
Type Inference for Recursive Definitions. [Citation Graph (0, 0)][DBLP] LICS, 1999, pp:119-129 [Conf]
- Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
Orderly communication in the Ambient Calculus. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2002, v:28, n:1, pp:29-60 [Journal]
- Michele Bugliesi, Santiago M. Pericás-Geertsen
Type Inference for Variant Object Types. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:177, n:1, pp:2-27 [Journal]
Search in 0.002secs, Finished in 0.002secs
|