Skip to content

Nicolas%20Pouillard

Jump to bottom Edit New page
Joseph R. Kiniry edited this page Mar 6, 2013 · 1 revision

= Nicolas Pouillard = Image(htdocs:img/nicolas.png, width=200)

== Personal Information ==

||Position || Postdoc ||Email || [email protected] ||Research Area || Electronic Voting Technology ||Location || ITU 4C ||Description || Nicolas ||Personal page || http://nicolaspouillard.fr/

== Teams ==

== Publications ==

  • [http://nicolaspouillard.fr/publis/jfp-unified-binders.pdf A unified treatment of syntax with binders (JFP Vol. 22) (PDF)]
  • [http://nicolaspouillard.fr/publis/namely-painless-defense-version.pdf [PhD Thesis] Namely, Painless: A unifying approach to safe programming with first-order syntax with binders (PDF)]
Add a custom footer
Add a custom sidebar
Clone this wiki locally