Angelo Taranto

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Mathematical Theory

Image Segmentation

Computer Science

Top Venues

Publications

Zachary Flores, Angelo Taranto, Eric Bond
A Formal Algebraic Framework for DSL Composition. CoRR (2023)
Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman
A Formalization of Operads in Coq. CoRR (2023)