Arthur Charguéraud

	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

Coauthor Index

1	Brian E. Aydemir	[1]
2	Benjamin C. Pierce	[1]
3	Randy Pollack	[1]
4	François Pottier	[2]
5	Stephanie Weirich	[1]

Colors in the list of coauthors