Travelled to:1 × Japan
1 × USA
Collaborated with:∅ F.Pottier J.Bernardy
Talks about:name (3) binder (2) polymorph (1) painless (1) nameless (1) program (1) fresh (1) view (1) look (1) free (1)
Person: Nicolas Pouillard
DBLP: Pouillard:Nicolas
Contributed to:
20112010
2013Wrote 3 papers:
- ICFP-2011-Pouillard
- Nameless, painless (NP), pp. 320–332.
- ICFP-2010-PouillardP #fresh look #programming
- A fresh look at programming with names and binders (NP, FP), pp. 217–228.
- Haskell-2013-BernardyP #for free #polymorphism
- Names for free: polymorphic views of names and binders (JPB, NP), pp. 13–24.