Selective Memoization with Box Types

DOI10.1016/J.ENTCS.2009.11.006zbMath1291.68126OpenAlexW2130894534MaRDI QIDQ5170291

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

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

functional programmingadaptive computationmodal typesbox typesselective memoizationtype safeness

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• A judgmental reconstruction of modal logic
• Some Remarks on Type Systems for Course-of-value Recursion
• Logical Mobility and Locality Types

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