2026-08-15T13:56:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4029 2024-03-06T10:29:11Z ddc:004 open_access

Supporting Separate Compilation in a Defunctionalizing Compiler Fourtounis, Georgios Papaspyrou, Nikolaos S. Defunctionalization functional programming modules separate compilation 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. 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 a compiler from a large subset of Haskell to low-level C code, based on the intensional transformation. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Georgios Fourtounis and Nikolaos S. Papaspyrou 2013 Is Part Of OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SLATE.2013.39 urn:nbn:de:0030-drops-40294 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013.39 eng https://creativecommons.org/licenses/by/3.0/legalcode