188 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
Showing cs.PLShow 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.PL2022
A Theory of Conversion Relations for Prefixed Units of Measure
Baltasar Trancón y Widemann, Markus Lepper
Units of measure with prefixes and conversion rules are given a formal semantic model in terms of categorial group theory. Basic structures and both natural and contingent semantic…