{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:41:09Z","timestamp":1770288069447,"version":"3.49.0"},"reference-count":0,"publisher":"National Library of Serbia","issue":"4","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ComSIS","COMPUT SCI INF SYST","COMPUT SCI INFORM SY","COMPUTER SCI INFORM","COMSIS J"],"published-print":{"date-parts":[[2014]]},"abstract":"<jats:p>Defunctionalization is generally considered a whole-program transformation\n   and thus incompatible with separate compilation. In this paper, we formalize\n   a modular variant of defunctionalization which can support separate\n   compilation for a functional programming language with parametric\n   polymorphism. Our technique allows modules in a Haskell-like language to be\n   separately defunctionalized and compiled, then linked together to generate\n   an executable program. We provide a prototype implementation of our modular\n   defunctionalization technique and we discuss the experiences of its\n   application in compiling a large subset of Haskell to low-level C code,\n   based on the intensional transformation.<\/jats:p>","DOI":"10.2298\/csis130923030f","type":"journal-article","created":{"date-parts":[[2014,5,26]],"date-time":"2014-05-26T14:00:00Z","timestamp":1401112800000},"page":"1417-1434","source":"Crossref","is-referenced-by-count":4,"title":["Modular polymorphic defunctionalization"],"prefix":"10.2298","volume":"11","author":[{"given":"Georgios","family":"Fourtounis","sequence":"first","affiliation":[{"name":"National Technical University of Athens School of Electrical and Computer Engineering Software Engineering Laboratory, Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"S.","given":"Nikolaos","family":"Papaspyrou","sequence":"additional","affiliation":[{"name":"National Technical University of Athens School of Electrical and Computer Engineering Software Engineering Laboratory, Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiotis","family":"Theofilopoulos","sequence":"additional","affiliation":[{"name":"National Technical University of Athens School of Electrical and Computer Engineering Software Engineering Laboratory, Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1078","container-title":["Computer Science and Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T08:31:37Z","timestamp":1685349097000},"score":1,"resource":{"primary":{"URL":"https:\/\/doiserbia.nb.rs\/Article.aspx?ID=1820-02141400030F"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014]]}},"URL":"https:\/\/doi.org\/10.2298\/csis130923030f","relation":{},"ISSN":["1820-0214","2406-1018"],"issn-type":[{"value":"1820-0214","type":"print"},{"value":"2406-1018","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}