Nicolas Pouillard

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Topics

Relational Databases

Energy Function

Top Venues

Agile MDE/MeSS/TTC@STAF

MoDELS (Companion)

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Frédéric Jouault, Nicolas Pouillard
Approaching Model Edition as a Linear Logic Problem. MoDELS (Companion) (2023)
Frédéric Jouault, Nicolas Pouillard
Cheptre solution to the TTC 2023 incremental Class2Relational case. Agile MDE/MeSS/TTC@STAF (2023)
Jean-Philippe Bernardy, Nicolas Pouillard
Names for free: polymorphic views of names and binders. Haskell (2013)
Nicolas Pouillard, François Pottier
A unified treatment of syntax with binders. J. Funct. Program. 22 (4-5) (2012)
Nicolas Pouillard
Nameless, painless. ICFP (2011)
Nicolas Pouillard, François Pottier
A fresh look at programming with names and binders. ICFP (2010)