Skip to content

Clean Translation of an Imperative Reversible Programming Language.

Holger Bock Axelsen

VenueBCC
Year2011
ProceedingsCC

Browse the full CC paper archive.