https://techgazette.com.br/research/#languages This week's papers in Programming languages, each with what its authors did and found, in sentences from its own abstract. en 180 Wed, 14 Oct 2026 12:00:00 GMT https://dl.acm.org/doi/10.1145/3840298 https://dl.acm.org/doi/10.1145/3840298 Wed, 14 Oct 2026 12:00:00 GMT ACM TOPLAS Programming languages ACM TOPLAS — Did: We develop a denotational model for probabilistic and concurrent imperative programs , a class of programs with standard control flow via conditionals and while-loops, as well as probabilistic actions and parallel composition.