Travelled to:
1 × Canada
Collaborated with:
S.Monnier
Talks about:
preserv (2) haskel (2) type (2) convers (1) compil (1) closur (1)
Person: Louis-Julien Guillemette
DBLP: Guillemette:Louis=Julien
Contributed to:
Wrote 2 papers:
- ICFP-2008-GuillemetteM #compilation #haskell
- A type-preserving compiler in Haskell (LJG, SM), pp. 75–86.
- Haskell-2007-GuillemetteM #haskell
- A type-preserving closure conversion in haskell (LJG, SM), pp. 83–92.