9 citations · 9 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 9 cited
Fibred Computational Effects
Danel Ahman
Dependent types provide a lightweight and modular means to integrate programming and formal program verification. In particular, the types of programs written in dependently typed…
cs.LO2016
Directed Containers as Categories
Danel Ahman, Tarmo Uustalu
Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed contain…