Guilhem Moulin

Publikationer (9)
Projekt (0)

Visar 9 publikationer

2016

Internalizing Parametricity

Guilhem Moulin

Doktorsavhandling

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

Formal Verification of an Authorization Protocol for Remote Vehicle Diagnostics

Pierre Kleberger, Guilhem Moulin

Rapport

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

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, 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

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.