Program Inversion and Reversible Computation

rFun is a reversible functional programming language developed by Holger Bock Axelsen, Tetsuo Yokoyama, and Robert Glück.

An interpreter for the language has been implemented by Michael Kirkedal Thomsen. This implements an extended version of the above language. Please contact at kirkedal@acm.org if you have any questions.

You can try it here

We are currently working on a new version of rFun with a Haskell-like syntax and a type system.

You can read more about in github.
You can try the online interpreter here.

In Proceedings

2013

[1]	Axelsen, H. B. and Glück, R. Reversible Representation and Manipulation of Constructor Terms in the Heap. In Reversible Computation, pages 96-109, LNCS 7948, 2013.

2012

[2]	Yokoyama, T.; Axelsen, H. B. and Glück, R. Towards a reversible functional language. In Reversible Computation, RC '11, pages 14-29, Springer-Verlag, LNCS 7165, 2012.