Travelled to:
1 × USA
Collaborated with:
D.Buchs
Talks about:
practic (1) system (1) alias (1) type (1) safe (1)
Person: Dimitri Racordon
DBLP: Racordon:Dimitri
Contributed to:
Wrote 1 papers:
- SLE-2018-RacordonB #alias #type system
- A practical type system for safe aliasing (DR, DB), pp. 133–146.