\mathsf CoreFun : A Typed Functional Reversible Core Language.

Petur Andrias Hjgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen

Browse the full RC paper archive.