Guilhem Moulin

Showing 9 publications

2016

Internalizing Parametricity

Guilhem Moulin
Doctoral thesis
2015

A Presheaf Model of Parametric Type Theory

Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronic Notes in Theoretical Computer Science. Vol. 319, p. 67-82
Journal article
2013

Short Paper: Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics

Pierre Kleberger, Guilhem Moulin
IEEE Vehicular Networking Conference (VNC), Proceedings. Boston, 16-18 Dec. 2013, p. 202-205
Paper in proceeding
2013

Type-Theory in Color

Jean-Philippe Bernardy, Guilhem Moulin
18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013; Boston, MA; United States; 25 September 2013 through 27 September 2013, p. 61-71
Paper in proceeding
2013

Type-Theory In Color

Jean-Philippe Bernardy, Guilhem Moulin
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 48 (9), p. 61-71
Journal article
2012

A Computational Interpretation of Parametricity

Jean-Philippe Bernardy, Guilhem Moulin
IEEE Symposium on Logic in Computer Science. 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia, June 25-28, 2012, p. 135-144
Paper in proceeding
2011

Towards a computational interpretation of parametricity

Jean-Philippe Bernardy, Guilhem Moulin
Preprint

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Guilhem Moulin participates, but you have to be logged in as a Chalmers employee to see them.