Modular polymorphic defunctionalization | Zendy

Georgios Fourtounis | Zendy; Nikolaos Papaspyrou | Zendy; Panagiotis Theofilopoulos | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modular polymorphic defunctionalization

Author(s) -

Georgios Fourtounis,

Nikolaos Papaspyrou,

Panagiotis Theofilopoulos

Publication year - 2014

Publication title -

computer science and information systems

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.244

H-Index - 24

eISSN - 2406-1018

pISSN - 1820-0214

DOI - 10.2298/csis130923030f

Subject(s) - haskell , executable , computer science , programming language , modular design , transformation (genetics) , functional programming , chemistry , biochemistry , gene

Defunctionalization is generally considered a whole-program transformation and thus incompatible with separate compilation. In this paper, we formalize a modular variant of defunctionalization which can support separate compilation for a functional programming language with parametric polymorphism. Our technique allows modules in a Haskell-like language to be separately defunctionalized and compiled, then linked together to generate an executable program. We provide a prototype implementation of our modular defunctionalization technique and we discuss the experiences of its application in compiling a large subset of Haskell to low-level C code, based on the intensional transformation.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research