Julien Cretin

I defended my PhD on the 30th of January 2014 (more informations).

Publications

• July 2014website
  System F with Coercion Constraints
  Julien Cretin, Didier Rémy
  LICS 2014
• November 23, 2011
  Giving Haskell a promotion

  Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
  TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation, 2012
• October 28, 2011slidesproject
  On the power of coercion abstraction

  Julien Cretin, Didier Rémy
  ACM SIGPLAN Notices - POPL '12, 2012
• December 6, 2010pdfslides
  A generalization of F-eta with abstraction over retyping functions
  Julien Cretin
  Master's thesis
  Internship realized under the supervision of Didier Rémy
• September 2010slides
  Matching lenses: alignment and view update

  Davi M.J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce
  ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010