Login / Signup

Reversible Representation and Manipulation of Constructor Terms in the Heap.

Holger Bock AxelsenRobert Glück
Published in: RC (2013)
Keyphrases