Travelled to:
1 × Croatia
1 × USA
Collaborated with:
J.Bernardy
Talks about:
interpret (1) parametr (1) theori (1) comput (1) color (1) type (1)
Person: Guilhem Moulin
DBLP: Moulin:Guilhem
Contributed to:
Wrote 2 papers:
- ICFP-2013-BernardyM
- Type-theory in color (JPB, GM), pp. 61–72.
- LICS-2012-BernardyM #parametricity
- A Computational Interpretation of Parametricity (JPB, GM), pp. 135–144.