BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
2 × Italy
Collaborated with:
M.Hofmann A.Abel
Talks about:
analysi (2) amortis (2) space (2) type (2) heap (2) metatheori (1) syntact (1) automat (1) subtyp (1) higher (1)

Person: Dulma Rodriguez

DBLP DBLP: Rodriguez:Dulma

Contributed to:

ESOP 20132013
CSL 20092009
CSL 20082008

Wrote 3 papers:

ESOP-2013-HofmannR #analysis #automation #type inference
Automatic Type Inference for Amortised Heap-Space Analysis (MH, DR), pp. 593–613.
CSL-2009-HofmannR #analysis #performance
Efficient Type-Checking for Amortised Heap-Space Analysis (MH, DR), pp. 317–331.
CSL-2008-AbelR #higher-order #type system
Syntactic Metatheory of Higher-Order Subtyping (AA, DR), pp. 446–460.
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.