Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Reversible representation and manipulation of constructor terms in the heap
Holger Bock Axelsen,
Robert Glück
Department of Computer Science
Department of Computer Science
12
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Reversible representation and manipulation of constructor terms in the heap'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Binary Tree
50%
Constructors
100%
Data Type
50%
Functional Languages
50%
Reversible Machine
100%
Keyphrases
Algebraic Data Types
50%
Binary Tree
50%
Functional Languages
50%
Garbage
50%
Machine Code
50%
Reversible Machine
100%