6 citations · 14 across the 6 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.PL2016
Tabling with Sound Answer Subsumption
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter +1
Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we ar…
cs.PL2016
From Push/Enter to Eval/Apply by Program Transformation
Maciej Piróg, Jeremy Gibbons
Push/enter and eval/apply are two calling conventions used in implementations of functional languages. In this paper, we explore the following observation: when considering functio…
cs.PL2016★ 6 cited
Eilenberg--Moore Monoids and Backtracking Monad Transformers
Maciej Piróg
We develop an algebraic underpinning of backtracking monad transformers in the general setting of monoidal categories. As our main technical device, we introduce Eilenberg--Moore m…