Functional translation of a calculus of capabilities (2008)

by Arthur Charguéraud, François Pottier
Venue:In ACM International Conference on Functional Programming (ICFP