111 citations · 528 across the 50 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017
Layer by layer - Combining Monads
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
We develop a method to incrementally construct programming languages. Our approach is categorical: each layer of the language is described as a monad. Our method either (i) concret…
cs.LO2017★ 6 cited
Distribution Bisimilarity via the Power of Convex Algebras
Filippo Bonchi, Alexandra Silva, Ana Sokolova
Probabilistic automata (PA), also known as probabilistic nondeterministic labelled transition systems, combine probability and nondeterminism. They can be given different semantics…