15 citations · 40 across the 14 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
A monadic interpreter and type-and-effect checker
Stefano Raviola, Paola Giannini, Francesco Dagnino
We present a concrete implementation in Haskell of a monadic framework that includes both a small-step interpreter and a type-and-effect checker for the corresponding language. Our…
cs.LO2026
Free constructions for comprehension categories
Francesco Dagnino, Jacopo Emmenegger, Andrea Giusto
Jacobs comprehension categories subsume a large class of categorical models of type dependency, supporting also the description of morphisms between types. We study the relationshi…