Functional translation of a calculus of capabilities (2008)

by A Charguéraud, F Pottier
Venue:In ICFP ’08