Static Enforcement of Security with Types (2000)

Cached

Download Links

by Christian Skalka , Scott Smith
Venue:In ICFP’00
Citations:52 - 7 self