mathsf CoreFun : A Typed Functional Reversible Core Language. - Petur Andrias Højgaard Jacobsen; Robin Kaarsgaard; Michael Kirkedal Thomsen (RC, 2018)