8 citations · 11 across the 12 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments
Baltasar Trancón y Widemann, Markus Lepper
Random experiments that are simple and clear enough to be performed by human agents feature prominently in the teaching of elementary stochastics as well as in games. We present Al…
cs.PL2025
Härpfer's Extended Indispensability Algorithm in Z
Markus Lepper, Bernd Härpfer, Baltasar Trancón y Widemann
Since 1978, Clarence Barlow developed the ``Indispensability Function''. It operates on a metric tree that is bound to the same prime number of branches for all subtrees of each pa…