Guilhem Moulin

Showing 9 publications


Internalizing Parametricity

Guilhem Moulin
Doctoral thesis

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
Paper in proceeding

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

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

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

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

Towards a computational interpretation of parametricity

Jean-Philippe Bernardy, Guilhem Moulin

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

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.