A type-preserving compiler in Haskell

Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 ◽

10.1145/1411204.1411218 ◽

2008 ◽

Author(s):

Louis-Julien Guillemette ◽

Stefan Monnier

Download Full-text