Reversible representation and manipulation of constructor terms in the heap

Holger Bock Axelsen, Robert Glück

12 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Reversible representation and manipulation of constructor terms in the heap'. Together they form a unique fingerprint.

Computer Science

Keyphrases