Polymorphic typed defunctionalization

DOI10.1145/964001.964009MaRDI QIDQ3452252zbMATHOpenAlexFDO

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

polymorphismdefunctionalizationclosure conversiontype preservation

Mathematics Subject Classification ID

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

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

(18)

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

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)