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
Constructors
100%
Reversible Machine
100%
Data Type
50%
Functional Languages
50%
Binary Tree
50%
Keyphrases
Reversible Machine
100%
Garbage
50%
Algebraic Data Types
50%
Functional Languages
50%
Machine Code
50%
Binary Tree
50%