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

Cached

Download Links

by Lennart Beringer , Kenneth Mackenzie , Ian Stark
Citations:25 - 12 self