Polymorphic typed defunctionalization and concretization

DOI10.1007/S10990-006-8611-7MaRDI QIDQ853737zbMATH OpenOpenAlexFDO

Authors François Pottier, N. Gauthier

Publication date 17 November 2006

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10990-006-8611-7

zbMATH Keywords

PolymorphismClosure conversionConcretizationDefunctionalizationDictionary recordsPolymorphic recordsType classesType-preserving compilation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Polymorphic typed defunctionalization
• Type-driven defunctionalization
• Refunctionalization at work
• Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
• scientific article; zbMATH DE number 3970091

Cites work

• scientific article; zbMATH DE number 1629940 (Why is no real title available?)
• scientific article; zbMATH DE number 1231621 (Why is no real title available?)
• scientific article; zbMATH DE number 2242599 (Why is no real title available?)
• A semantics of multiple inheritance
• A theory of type polymorphism in programming
• Definitional interpreters for higher-order programming languages
• Definitional interpreters revisited
• From ML to Ada: Strongly-typed language interoperability via source translation
• Functional unparsing
• Guarded recursive datatype constructors
• Modular statically typed multimethods
• Polymorphic typed defunctionalization
• Programming Languages and Systems
• Stack-based typed assembly language
• Type-driven defunctionalization
• Types and programing languages
• Types for Proofs and Programs

Cited in

(15)

• scientific article; zbMATH DE number 1487941 (Why is no real title available?)
• scientific article; zbMATH DE number 773983 (Why is no real title available?)
• From Monomorphic to Polymorphic Well-Typings and Beyond
• Polytypic values possess polykinded types
• scientific article; zbMATH DE number 910819 (Why is no real title available?)
• Type-driven defunctionalization
• Type soundness for path polymorphism
• scientific article; zbMATH DE number 5117546 (Why is no real title available?)
• Refunctionalization at work
• Polymorphic type inference and containment
• Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
• Intensional polymorphism in type-erasure semantics
• Corrigendum: Polymorphic type assignment and CPS conversion
• Polymorphic typed defunctionalization
• scientific article; zbMATH DE number 7577586 (Why is no real title available?)

Describes a project that uses

Uses Software

• TALx86
• SmallEiffel
• Haskell
• ML

This page was built for publication: Polymorphic typed defunctionalization and concretization

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