Login to generate an author description
| Coauthor | Papers Together |
|---|---|
| Pierre-Louis Curien | 2 |
| Éléonore Mangel | 1 |
| Paul-André Melliès | 1 |
| Action | Title | Date | Authors | # of times referenced |
|---|---|---|---|---|
| Introduction to linear logic and ludics, part II | 2005-01-01 | Pierre-Louis Curien | 1 | |
| Programming with permissions in Mezzo | 2013-09-25 | François Pottier Jonathan Protzenko | 1 | |
| Effect-dependent transformations for concurrent programs | 2016-09-01 | Nick Benton Martin Hofmann Vivek Nigam | 1 | |
| Type Classes for Lightweight Substructural Types | 2015-02-16 | Edward Gan Jesse A. Tov Greg Morrisett | 1 |