Polymorphic typed defunctionalization

DOI10.1145/964001.964009MaRDI QIDQ3452252zbMATH OpenOpenAlexFDO

Authors François Pottier, N. Gauthier

Publication date 11 November 2015

Published in Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

closure conversiondefunctionalizationpolymorphismtype preservation

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Type-driven 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

(19)

• Polymorphic type inference and containment
• Filter models with polymorphic types
• Corrigendum: Polymorphic type assignment and CPS conversion
• Type soundness for path polymorphism
• Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
• scientific article; zbMATH DE number 4013997 (Why is no real title available?)
• Bunched polymorphism
• A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
• scientific article; zbMATH DE number 773983 (Why is no real title available?)
• Polymorphic success types for Erlang
• Typed cross-module compilation
• Intensional polymorphism in type-erasure semantics
• Type-driven defunctionalization
• Basic polymorphic typechecking
• Tail recursion modulo context: an equational approach (extended version)
• Polytypic values possess polykinded types
• Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language
• Polymorphic typed defunctionalization and concretization
• Refunctionalization at work

This page was built for publication: Polymorphic typed defunctionalization

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