Guilhem Moulin

Publications (9)
Projects (0)

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

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

2013

Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics

Pierre Kleberger, Guilhem Moulin

Report

2013

Pure Type Systems with an Internalized Parametricity Theorem

Guilhem Moulin

Licentiate thesis

2013

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

Pierre Kleberger, Guilhem Moulin

IEEE Vehicular Networking Conference, VNC, 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

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

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.