BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Peric=aacute=s-Geertsen:Santiago_M=

Contributed to:

ESOP 20012001
LICS 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.