Inproceedings,

Selective Memoization with Box Types.

, and .
LSFA, volume 256 of Electronic Notes in Theoretical Computer Science, page 67-85. Elsevier, (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews