PisoLang: a User-Friendly Reversible Programming Language with Inductive Types.

Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi

Browse the full RC paper archive.