11. TLCA 2013: Eindhoven, The Netherlands

Type-Directed Compilation in the Wild: Haskell and Core

Contributed Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics