47 citations · 66 across the 7 of their papers we have counts for
1 paper · 1 filter
Yao Li, Stephanie Weirich
Free monads (and their variants) have become a popular general-purpose tool for representing the semantics of effectful programs in proof assistants. These data structures support…