Travelled to:
1 × USA
Collaborated with:
S.Leather J.Jeuring A.Löh
Talks about:
transform (1) preserv (1) semant (1) rewrit (1) chang (1) type (1)
Person: Bram Schuur
DBLP: Schuur:Bram
Contributed to:
Wrote 1 papers:
- PEPM-2014-LeatherJLS #semantics
- Type-changing rewriting and semantics-preserving transformation (SL, JJ, AL, BS), pp. 109–120.