Guilhem Moulin

According to our database, Guilhem Moulin authored at least 5 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Internalizing Parametricity.

Guilhem Moulin

PhD thesis, 2016

2015

A Presheaf Model of Parametric Type Theory.

Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2013

Short paper: Formal verification of an authorization protocol for remote vehicle diagnostics.

Pierre Kleberger, Guilhem Moulin

Proceedings of the 2013 IEEE Vehicular Networking Conference, 2013

Type-theory in color.

Jean-Philippe Bernardy, Guilhem Moulin

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

A Computational Interpretation of Parametricity.

Jean-Philippe Bernardy, Guilhem Moulin

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012