activity
20052022
most citedBreaking a monad-comonad symmetry between computational effects

9 citations · 65 across the 33 of their papers we have counts for

collaborators
Showing 2005 · cs.SCShow all

1 paper · 2 filters

cs.SC2005

Towards a diagrammatic modeling of the LinBox C++ linear algebra library

Jean-Guillaume Dumas, Dominique Duval

We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category theory and in particular of the pushout tool. We show that most of the object-orient…