Type-driven defunctionalization

DOI10.1145/258948.258953MaRDI QIDQ5348862zbMATH OpenOpenAlexFDO

Authors

Publication date 21 August 2017

Published in Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/258948.258953

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Polymorphic typed defunctionalization
• Polymorphic typed defunctionalization and concretization
• scientific article; zbMATH DE number 1231621
• Refunctionalization at work
• Automatic refunctionalization to a language with copattern matching: with applications to the expression problem

Cited in

(11)

• Specialisation of higher-order functions for debugging
• Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
• Polymorphic typed defunctionalization
• A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
• scientific article; zbMATH DE number 1231621 (Why is no real title available?)
• scientific article; zbMATH DE number 910819 (Why is no real title available?)
• Functioning without closure: type-safe customized function representations for standard ML
• Typed cross-module compilation
• Tail recursion modulo context: an equational approach (extended version)
• Polymorphic typed defunctionalization and concretization
• Refunctionalization at work

This page was built for publication: Type-driven defunctionalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348862)