A New List Compaction Method

Kai Li, Paul Hudak

Abstract: List compaction, or so‐called ‘cdr‐coding’, can greatly reduce the storage needs of list processing languages. However, existing methods do not perform well when several lists are being constructed s...