Nicolas Pouillard

According to our database, Nicolas Pouillard authored at least 7 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Cheptre solution to the TTC 2023 incremental Class2Relational case.

Frédéric Jouault, Nicolas Pouillard

Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Approaching Model Edition as a Linear Logic Problem.

Frédéric Jouault, Nicolas Pouillard

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2013

Names for free: polymorphic views of names and binders.

Jean-Philippe Bernardy, Nicolas Pouillard

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Namely, Painless: A unifying approach to safe programming with first-order syntax with binders. (Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs).

Nicolas Pouillard

PhD thesis, 2012

A unified treatment of syntax with binders.

Nicolas Pouillard, François Pottier

J. Funct. Program., 2012

2011

Nameless, painless.

Nicolas Pouillard

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

A fresh look at programming with names and binders.

Nicolas Pouillard, François Pottier

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010