邑右僦梯.PDFVIP

EÆcient Hash-Consing of Recursive Typ es Jerey Considine jconsidi@ January 29, 2000 Abstract EÆcient storage of typ es within a compiler is necessary to avoid large blowups in space during compi- lation. Recursive typ es in particular are imp ortant to consider, as naive representations of recursive typ es may