Categorical ML -- category-theoretic modular programming
scientific article; zbMATH DE number 411694
scientific article