| 2008 | ||
|---|---|---|
| 2 | Arthur Charguéraud, François Pottier: Functional translation of a calculus of capabilities. ICFP 2008: 213-224 | |
| 1 | Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich: Engineering formal metatheory. POPL 2008: 3-15 | |
| 1 | Brian E. Aydemir | [1] |
| 2 | Benjamin C. Pierce | [1] |
| 3 | Randy Pollack | [1] |
| 4 | François Pottier | [2] |
| 5 | Stephanie Weirich | [1] |