Functional translation of a calculus of capabilities (2008)

by Arthur Charguéraud, François Pottier
Venue:In ICFP ’08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming