11. TLCA 2013: Eindhoven, The Netherlands

Type-Directed Compilation in the Wild: Haskell and Core

Contributed Papers

maintained by Schloss Dagstuhl LZI at University of Trier