`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: Alves:Sandra

### Contributed to:

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