default search action

combined dblp search
author search
venue search
publication search

ask others

Nicolas Pouillard

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JouaultP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JouaultP23
Frédéric Jouault, Nicolas Pouillard:
Approaching Model Edition as a Linear Logic Problem. MoDELS (Companion) 2023: 414-421
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ttc/JouaultP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ttc/JouaultP23
Frédéric Jouault, Nicolas Pouillard:
Cheptre solution to the TTC 2023 incremental Class2Relational case. Agile MDE/MeSS/TTC@STAF 2023

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BernardyP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BernardyP13
Jean-Philippe Bernardy, Nicolas Pouillard:
Names for free: polymorphic views of names and binders. Haskell 2013: 13-24
2012
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Pouillard12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Pouillard12
Nicolas Pouillard:
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). Paris Diderot University, France, 2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/PouillardP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/PouillardP12
Nicolas Pouillard, François Pottier:
A unified treatment of syntax with binders. J. Funct. Program. 22(4-5): 614-704 (2012)
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Pouillard11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Pouillard11
Nicolas Pouillard:
Nameless, painless. ICFP 2011: 320-332
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/PouillardP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/PouillardP10
Nicolas Pouillard, François Pottier:
A fresh look at programming with names and binders. ICFP 2010: 217-228

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.