We study the two dual quantum information effects to manipulate the amount of information
in quantum computation: hiding and allocation. The resulting type-and-effect system is fully …

rfun is a small first-order reversible functional language introduced by Yokoyama et al. in
2012. The present paper aims to further the understanding of reversible functional …

Recently, a number of reversible functional programming languages have been proposed.
Common to several of these is the assumption of totality, a property that is not necessarily …

Reversible programming languages guarantee that their programs are invertible at the cost
of restricting the permissible operations to those which are locally invertible. However …

This paper presents initial ideas for the design and implementation of a reversible object-
oriented language based on extending Janus with object-oriented concepts such as classes …

When the inverse of an algorithm is well-defined--that is, when its output can be
deterministically transformed into the input producing it--we say that the algorithm is …

Background In the study of reversible computation, one investigates computational models
in which individual computation steps can be uniquely and unambiguously inverted. For …

Recently, a number of reversible functional programming languages have been proposed.
Common to several of these is the assumption of totality, a property that is not necessarily …