A Type-Preserving Compiler in Haskell (2008)

by Louis-Julien Guillemette , Stefan Monnier
Citations:13 - 3 self