1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.CT2023
A Formalization of Operads in Coq
Zachary Flores, Angelo Taranto, Eric Bond +1
What provides the highest level of assurance for correctness of execution within a programming language? One answer, and our solution in particular, to this problem is to provide a…
math.CT2023
A Formal Algebraic Framework for DSL Composition
Zachary Flores, Angelo Taranto, Eric Bond
We discuss a formal framework for using algebraic structures to model a meta-language that can write, compose, and provide interoperability between abstractions of DSLs. The purpos…
cond-mat.soft2019★ 1 cited
Properties of Interaction Networks in Compressed Two and Three Dimensional Particulate Systems
L. Kovalcinova, A. Taranto, L. Kondic
We consider two (2D) and three (3D) dimensional granular systems exposed to compression, and ask what is the influence of the number of physical dimensions on the properties of the…