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 × Denmark
1 × Hungary
1 × Portugal
1 × Sweden
1 × United Kingdom
Collaborated with:
M.Florido M.Fernández I.Mackie A.Degtyarev
Talks about:
linear (3) type (2) base (2) transform (1) metamodel (1) function (1) categori (1) calculus (1) program (1) control (1)

Person: Sandra Alves

DBLP DBLP: Alves:Sandra

Contributed to:

LOPSTR 20142014
PPDP 20112011
FoSSaCS 20072007
CSL 20062006
LOPSTR 20032003

Wrote 5 papers:

LOPSTR-2014-AlvesDF #data access #metamodelling #semantics
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics (SA, AD, MF), pp. 148–163.
PPDP-2011-AlvesFFM #recursion #λ-calculus
Linearity and recursion in a typed λ-calculus (SA, MF, MF, IM), pp. 173–182.
FoSSaCS-2007-AlvesFFM
Iterator Types (SA, MF, MF, IM), pp. 17–31.
CSL-2006-AlvesFFM #linear #power of
The Power of Linear Functions (SA, MF, MF, IM), pp. 119–134.
LOPSTR-2003-AlvesF #program transformation
Linearization by Program Transformation (SA, MF), pp. 160–175.
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.