Polymorphic typed defunctionalization and concretization

DOI10.1007/S10990-006-8611-7zbMATH Open1105.68018OpenAlexW2129566109MaRDI QIDQ853737FDOQ853737

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

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

zbMATH Keywords

PolymorphismClosure conversionConcretizationDefunctionalizationDictionary recordsPolymorphic recordsType classesType-preserving compilation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

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

Cited In (15)

• Title not available (Why is that?)
• From Monomorphic to Polymorphic Well-Typings and Beyond
• Polytypic values possess polykinded types
• Title not available (Why is that?)
• Type-driven defunctionalization
• Title not available (Why is that?)
• Type soundness for path polymorphism
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• ML
• Haskell
• SmallEiffel
• TALx86

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)