This page shows all presentations of this author published in EasyChair Smart Slide.
A syntactic model of mutation and aliasing
Paola Giannini, Marco Servetto and Elena Zucca