A Formal Algebraic Framework for DSL Composition. - Zachary Flores; Angelo Taranto; Eric Bond (CoRR, 2023)

A Formalization of Operads in Coq. - Zachary Flores; Angelo Taranto; Eric Bond; Yakir Forman (CoRR, 2023)