research
∙
01/27/2021
Deriving monadic quicksort (Declarative Pearl)
To demonstrate derivation of monadic programs, we present a specificatio...
research
∙
01/24/2021
A greedy algorithm for dropping digits (Functional Pearl)
Consider the puzzle: given a number, remove k digits such that the resul...
research
∙
01/24/2021
Longest segment of balanced parentheses – an exercise in program inversion in a segment problem (Functional Pearl)
Given a string of parentheses, the task is to find a longest consecutive...
research
∙
01/23/2021
Calculating a backtracking algorithm: an exercise in monadic program derivation
Equational reasoning is among the most important tools that functional p...
research
∙
01/23/2021
Equational reasoning for non-determinism monad: the case of Spark aggregation
As part of the author's studies on equational reasoning for monadic prog...
research
∙
08/30/2017