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
Publikationer 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.

Uppdaterad: 14 februari 2013
Ansvarig för sidan: Eva Axelsson

 SÖK


DATA- OCH INFORMATIONSTEKNIK - Chalmers tekniska högskola och Göteborgs universitet - 412 96 Göteborg
Telefon: 031-772 1000