1 paper
Fabian Lenke, Nico Wittrock, Stefan Milius +1
Codensity monads provide a universal method to generate complex monads from simple functors. Recently, a wide range of important monads in logic, denotational semantics, and probab…