Travelled to:2 × Italy
Collaborated with:A.J.Kfoury T.Amtoft
Talks about:type (2) polymorph (1) definit (1) ambient (1) recurs (1) infer (1) what (1)
Person: Santiago M. Pericás-Geertsen
DBLP: Peric=aacute=s-Geertsen:Santiago_M=
Contributed to:
2001
1999Wrote 2 papers:
- ESOP-2001-AmtoftKP #question #what
- What Are Polymorphically-Typed Ambients? (TA, AJK, SMPG), pp. 206–220.
- LICS-1999-KfouryP #recursion #type inference
- Type Inference for Recursive Definitions (AJK, SMPG), pp. 119–128.