Clean translation of an imperative reversible programming language

Holger Bock Axelsen

20 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Clean translation of an imperative reversible programming language'. Together they form a unique fingerprint.

Engineering & Materials Science