Add to ORKGThis section covers basic topics and illustrates the technical notion of a computational effect with several mathematical and programming examples. In everyday language, a “side effect ” refers to the unintended or unforeseen consequences of an action. By analogy, in order to identify the side effect of a given computation, it is first necessary to isolate th
Speculative computing is a technique to improve the execution time of certain applications by start...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
“Side effects ” in programming language expressions have long been re-garded as making programs hard...
International audienceIn the quest to give a formal compositional semantics to natural languages, se...
In this thesis I will give a formal definition of side effects. I will do so by modifying a system f...
In mathematics the application of a function f to an argument x always yields the same result y = f(...
Deployed algorithms can cause certain negative side effects on the world in pursuit of their objecti...
Moggi’s Computational Monads and Power et al ’s equivalent notion of Freyd category have captured a ...
The theory of logical consequence is central in modern logic and its applications. However, it is mo...
This note is about using computational effects for scalability. With this method, the specification ...
According to Knobe’s own explanation of the side-effect findings, folk beliefs about the moral statu...
We begin to develop a unified account of modularity for computational effects. We use the notion of ...
Side effects are ubiquitous in medicine and they often play a role in treatment decisions for patien...
A computational effect is any mutation of real-world state that occurs as the result of a computatio...
AbstractThis paper presents a rigorous framework for studying the influence of side effects in logic...
Speculative computing is a technique to improve the execution time of certain applications by start...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
“Side effects ” in programming language expressions have long been re-garded as making programs hard...
International audienceIn the quest to give a formal compositional semantics to natural languages, se...
In this thesis I will give a formal definition of side effects. I will do so by modifying a system f...
In mathematics the application of a function f to an argument x always yields the same result y = f(...
Deployed algorithms can cause certain negative side effects on the world in pursuit of their objecti...
Moggi’s Computational Monads and Power et al ’s equivalent notion of Freyd category have captured a ...
The theory of logical consequence is central in modern logic and its applications. However, it is mo...
This note is about using computational effects for scalability. With this method, the specification ...
According to Knobe’s own explanation of the side-effect findings, folk beliefs about the moral statu...
We begin to develop a unified account of modularity for computational effects. We use the notion of ...
Side effects are ubiquitous in medicine and they often play a role in treatment decisions for patien...
A computational effect is any mutation of real-world state that occurs as the result of a computatio...
AbstractThis paper presents a rigorous framework for studying the influence of side effects in logic...
Speculative computing is a technique to improve the execution time of certain applications by start...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
“Side effects ” in programming language expressions have long been re-garded as making programs hard...