Grail: a Functional Form for Imperative Mobile Code (2003)

by L Beringer, K MacKenzie, I Stark
Venue:In Proceedings FGC’03, volume 85(1) of Electronic Notes in Theoretical Computer Science