Results 11 to 20 of about 29,436 (282)
Eilenberg–Moore Monoids and Backtracking Monad Transformers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 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 monoids, which combine monoids with algebras for strong monads. We show that
Maciej Piróg
doaj +3 more sources
Extending Equational Monadic Reasoning with Monad Transformers [PDF]
Types for Proofs and Programs, 2020 There is a recent interest for the verification of monadic programs using proof assistants. This line of research raises the question of the integration of monad transformers, a standard technique to combine monads. In this paper, we extend Monae, a Coq library for monadic equational reasoning, with monad transformers and we explain the benefits of ...
Affeldt, Reynald, Nowak, David
openaire +6 more sources
Monad: Towards Cost-Effective Specialization for Chiplet-Based Spatial Accelerators [PDF]
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2023 Advanced packaging offers a new design paradigm in the post-Moore era, where many small chiplets can be assembled into a large system. Based on heterogeneous integration, a chiplet-based accelerator can be highly specialized for a specific workload ...
Xiaochen Hao +4 more
semanticscholar +1 more source
What Makes a Strong Monad? [PDF]
MSFP@ETAPS, 2022 Strong monads are important for several applications, in particular, in the denotational semantics of effectful languages, where strength is needed to sequence computations that have free variables.
Dylan McDermott, Tarmo Uustalu
semanticscholar +1 more source
Heterotic String Model Building with Monad Bundles and Reinforcement Learning [PDF]
Fortschritte der Physik, 2021 We use reinforcement learning as a means of constructing string compactifications with prescribed properties. Specifically, we study heterotic SO(10)$SO(10)$ GUT models on Calabi‐Yau three‐folds with monad bundles, in search of phenomenologically ...
A. Constantin, T. R. Harvey, A. Lukas
semanticscholar +1 more source
A Monad for Probabilistic Point Processes [PDF]
ACT, 2021 A point process on a space is a random bag of elements of that space. In this paper we explore programming with point processes in a monadic style. To this end we identify point processes on a space X with probability measures of bags of elements in X ...
Swaraj Dash, S. Staton
semanticscholar +1 more source
Reiterman's Theorem on Finite Algebras for a Monad [PDF]
ACM Transactions on Computational Logic, 2021 Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman’s theorem states that they precisely specify pseudovarieties, i.e., classes of finite algebras closed under finite products, subalgebras and ...
J. Adámek +3 more
semanticscholar +1 more source
Environment Conservation Journal, 2021 Hedychium Spicatum is a rhizomatous perennial plant of various ethnomedicinal significance, which belongs to Zingiberaceae family.In the present study, H.Spicatum extracts were investigated for the presence of major phytochemical compounds. The dried and
Manoj Upadhyay +3 more
doaj +1 more source
Convexity via Weak Distributive Laws [PDF]
Logical Methods in Computer Science, 2022 We study the canonical weak distributive law $\delta$ of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields.
Filippo Bonchi, Alessio Santamaria
doaj +1 more source
Taylor Expansion as a Monad in Models of DiLL
Logic in Computer Science, 2023 Differential Linear Logic (DiLL) adds to Linear Logic (LL) a symmetrization of three out of the four exponential rules, which allows the expression of a natural notion of differentiation.
M. Kerjean, J. Lemay
semanticscholar +1 more source