Nicolas Pouillard

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Cheptre solution to the TTC 2023 incremental Class2Relational case.
Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Approaching Model Edition as a Linear Logic Problem.
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.
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).
PhD thesis, 2012

A unified treatment of syntax with binders.
J. Funct. Program., 2012

2011
Nameless, painless.
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.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010


  Loading...