Nicolas Pouillard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2023
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MODELS | Approaching Model Edition as a Linear Logic Problem. | Frdric Jouault, Nicolas Pouillard |
| 2013 | HASKELL | Names for free: polymorphic views of names and binders. | Jean-Philippe Bernardy, Nicolas Pouillard |
| 2011 | ICFP | Nameless, painless. | Nicolas Pouillard |
| 2010 | ICFP | A fresh look at programming with names and binders. | Nicolas Pouillard, Franois Pottier |