Moulin, Guilhem

Guilhem Moulin
Datavetenskap
guilhem dot moulin at chalmers dot se

Visiting address:

Rännvägen 6
Rum 6103, floor 6
EDIT building, Campus Johanneberg

 

Guilhem Moulin is a PhD student.

Supervisor: Peter Dybjer
Publications 2012

Bernardy, Jean-Philippe; Moulin, Guilhem: A Computational Interpretation of Parametricity. IEEE Symposium on Logic in Computer Science. 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Dubrovnik, Croatia, June 25-28, 2012, pp. 135-144. ISBN/ISSN: 978-0-7695-4769-5

Bernardy, Jean-Philippe; Moulin, Guilhem: Type-Theory in Color.

2011

Bernardy, Jean-Philippe; Moulin, Guilhem: Towards a computational interpretation of parametricity.

Last modified: February 14, 2013
Responsible for this page: Eva Axelsson

 SEARCH


COMPUTER SCIENCE AND ENGINEERING - Chalmers University of Technology and University of Gothenburg
SE-412 96 Gothenburg, Sweden - Tel: +46 (0)31- 772 1000