Guilhem Moulin

Visar 10 publikationer

2016

Internalizing Parametricity

Guilhem Moulin
Doktorsavhandling
2015

A presheaf model of parametric type theory

Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Preprint
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
Artikel i vetenskaplig tidskrift
2013

Pure Type Systems with an Internalized Parametricity Theorem

Guilhem Moulin
Licentiatavhandling
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 i 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 i 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
Artikel i vetenskaplig tidskrift
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 i proceeding
2011

Towards a computational interpretation of parametricity

Jean-Philippe Bernardy, Guilhem Moulin
Preprint

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Guilhem Moulin medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.