Results 241 to 250 of about 29,436 (282)
Some of the next articles are maybe not open access.
Verifying higher-order programs with the dijkstra monad
ACM SIGPLAN Notices, 2013Nikhil Swamy, Benjamin Livshits
exaly +2 more sources
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
Foundations of Software Science and Computation Structure, 2016Capretta's delay monad can be used to model partial computations, but it has the "wrong" notion of built-in equality, strong bisimilarity. An alternative is to quotient the delay monad by the "right" notion of equality, weak bisimilarity. However, recent
Thorsten Altenkirch +2 more
semanticscholar +1 more source
Monad Factory: Type-Indexed Monads
2011Monads provide a greatly useful capability to pure languages in simulating side-effects, but implementations such as the Monad Transformer Library [1] in Haskell prohibit reuse of those side-effects such as threading through two different states without some explicit workaround.
Mark Snyder, Perry Alexander
openaire +1 more source
Monadic fold, Monadic build, Monadic Short Cut Fusion
Abstract: Short cut fusion improves the efficiency of modularly constructed programs by eliminating intermediate data structures produced by one program component and immediately consumed by another. We define a combinator which expresses uniform production of data structures in monadic contexts, and is the natural counterpart to the well-known monadicJohann, Patricia, Ghani, Neil
openaire +1 more source
2018
Monads serve as the metaphysical foundations of Gottfried Wilhelm Leibniz’s mature metaphysics. In doing so they play a metaphysical role similar to the metaphysical role of atoms in traditional atomist theories. Like traditional atoms, monads are true unities, naturally indestructible, and persist through changes in ordinary bodies. Unlike traditional
Jeffrey K. McDonough, Tran (Jen) Nguyen
openaire +1 more source
Monads serve as the metaphysical foundations of Gottfried Wilhelm Leibniz’s mature metaphysics. In doing so they play a metaphysical role similar to the metaphysical role of atoms in traditional atomist theories. Like traditional atoms, monads are true unities, naturally indestructible, and persist through changes in ordinary bodies. Unlike traditional
Jeffrey K. McDonough, Tran (Jen) Nguyen
openaire +1 more source
2013
n this paper, we show how monads and substitutions allows for a separation between social choice and social ‘choosing’. Choice as value and choosing as operation is modeled using underlying signatures and related term monads. These monads are arranged over Goguen’s category Set(L), which provides the internalization of uncertainty both in choice as ...
P. Eklund, Fedrizzi, Mario, R. Helgesson
openaire +1 more source
n this paper, we show how monads and substitutions allows for a separation between social choice and social ‘choosing’. Choice as value and choosing as operation is modeled using underlying signatures and related term monads. These monads are arranged over Goguen’s category Set(L), which provides the internalization of uncertainty both in choice as ...
P. Eklund, Fedrizzi, Mario, R. Helgesson
openaire +1 more source
2015
This chapter discusses the final development of Gottfried Wilhelm Leibniz’s metaphysics: the theory of monads. It examines Leibniz’s arguments for monads as mindlike “simple substances,” his description of the properties of monads, and the distinction he draws among different types of monads.
openaire +1 more source
This chapter discusses the final development of Gottfried Wilhelm Leibniz’s metaphysics: the theory of monads. It examines Leibniz’s arguments for monads as mindlike “simple substances,” his description of the properties of monads, and the distinction he draws among different types of monads.
openaire +1 more source
2015
Eine Monade ist eine einfache Substanz, die nicht aus mehreren Teilen besteht. Das Dasein physischer Monaden, d. h. der einzigen, die Kant in seinen Werken ausführlicher thematisiert, verträgt sich mit den Gesetzen der Geometrie und unterliegt den Gesetzen der Physik. Kant folgt in seiner Definition Leibniz, der in der Monadologie von 1714 die Monade
openaire +1 more source
Eine Monade ist eine einfache Substanz, die nicht aus mehreren Teilen besteht. Das Dasein physischer Monaden, d. h. der einzigen, die Kant in seinen Werken ausführlicher thematisiert, verträgt sich mit den Gesetzen der Geometrie und unterliegt den Gesetzen der Physik. Kant folgt in seiner Definition Leibniz, der in der Monadologie von 1714 die Monade
openaire +1 more source
Heterotic String Model Building with Monad Bundles and Reinforcement Learning
Fortschritte Der Physik, 2022Andrei Constantin, Andre Lukas
exaly
MONAD: Self-Adaptive Micro-Service Infrastructure for Heterogeneous Scientific Workflows
International Conference on Automation and Computing, 2017Phuong Nguyen, K. Nahrstedt
semanticscholar +1 more source