![](/img/cover-not-exists.png)
Functional translation of a calculus of capabilities
Charguéraud, Arthur, Pottier, FrançoisVolume:
43
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1411203.1411235
Date:
September, 2008
File:
PDF, 286 KB
english, 2008