Selective Memoization with Box Types (Q5170291)
From MaRDI portal
scientific article; zbMATH DE number 6319825
Language | Label | Description | Also known as |
---|---|---|---|
English | Selective Memoization with Box Types |
scientific article; zbMATH DE number 6319825 |
Statements
Selective Memoization with Box Types (English)
0 references
23 July 2014
0 references
selective memoization
0 references
modal types
0 references
box types
0 references
adaptive computation
0 references
type safeness
0 references
functional programming
0 references