\(\mathsf{CoreFun}\): a typed functional reversible core language
scientific article; zbMATH DE number 6957273