Selective Memoization with Box Types

DOI10.1016/J.ENTCS.2009.11.006MaRDI QIDQ5170291zbMATH OpenOpenAlexFDO

Authors Favio E. Miranda Perea, Lourdes del Carmen González Huesca

Publication date 23 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.11.006

zbMATH Keywords

adaptive computationbox typesfunctional programmingmodal typesselective memoizationtype safeness

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2018582
• On the runtime complexity of type-directed unboxing
• On the runtime complexity of type-directed unboxing
• Efficient and flexible matching of recursive types
• scientific article; zbMATH DE number 1927570
• Type-directed bounding of collections in reactive programs
• scientific article; zbMATH DE number 512785

Cites work

• A judgmental reconstruction of modal logic
• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• Logical Mobility and Locality Types
• Some remarks on type systems for course-of-value recursion

Cited in

(2)

• Partial memoization of concurrency and communication
• scientific article; zbMATH DE number 2018582 (Why is no real title available?)

This page was built for publication: Selective Memoization with Box Types

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