11. TLCA 2013: Eindhoven, The Netherlands

Refine list

showing all ?? records

Type-Directed Compilation in the Wild: Haskell and Core

Contributed Papers

a service of  Schloss Dagstuhl - Leibniz Center for Informatics