Filters








198 Hits in 2.9 sec

Combining effects and coeffects via grading

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu
2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016  
The effect-coeffect system has a denotational model in terms of effect-graded monads and coeffect-graded comonads where interaction is expressed via the novel concept of graded distributive laws.  ...  The effectful or coeffectful behaviour of a program can be captured and described via type-based analyses, with fine grained information provided by monoidal effect annotations and semiring coeffects.  ...  This grading induces a syntactic theory of interaction between effects and coeffects, captured by a matchedpair of operations which calculates an effect and a coeffect from a coeffect-effect pair.  ... 
doi:10.1145/2951913.2951939 dblp:conf/icfp/GaboardiKOBU16 fatcat:f55lofqgbreupmg26k3zmttuji

Combining effects and coeffects via grading

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu
2016 SIGPLAN notices  
The effect-coeffect system has a denotational model in terms of effect-graded monads and coeffect-graded comonads where interaction is expressed via the novel concept of graded distributive laws.  ...  The effectful or coeffectful behaviour of a program can be captured and described via type-based analyses, with fine grained information provided by monoidal effect annotations and semiring coeffects.  ...  This grading induces a syntactic theory of interaction between effects and coeffects, captured by a matchedpair of operations which calculates an effect and a coeffect from a coeffect-effect pair.  ... 
doi:10.1145/3022670.2951939 fatcat:koluiqnyonaabf6nbdoymmc2u4

Coeffects

Tomas Petricek, Dominic Orchard, Alan Mycroft
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
We remedy this by developing a generalized coeffect system with annotations indexed by a coeffect shape.  ...  We show that the structural system enjoys desirable syntactic properties and we give a categorical semantics using extended notions of indexed comonad.  ...  Acknowledgments Thanks are due to Marco Gaboardi, Dan Ghica, Marcelo Fiore, and Tarmo Uustalu for discussions on this work. We thank the anonymous reviewers for their comments and suggestions.  ... 
doi:10.1145/2628136.2628160 dblp:conf/icfp/PetricekOM14 fatcat:bc3f2kyhg5hatkbb3hxuwgkv4i

Coeffects

Tomas Petricek, Dominic Orchard, Alan Mycroft
2014 SIGPLAN notices  
We remedy this by developing a generalized coeffect system with annotations indexed by a coeffect shape.  ...  We show that the structural system enjoys desirable syntactic properties and we give a categorical semantics using extended notions of indexed comonad.  ...  Acknowledgments Thanks are due to Marco Gaboardi, Dan Ghica, Marcelo Fiore, and Tarmo Uustalu for discussions on this work. We thank the anonymous reviewers for their comments and suggestions.  ... 
doi:10.1145/2692915.2628160 fatcat:52dvuoq3gvelrbv3v2anawzxqe

Page 1948 of Mathematical Reviews Vol. , Issue 2002C [page]

2002 Mathematical Reviews  
Such a method is presented in the final section and it is effective in finding an exhaustive list of conformal symplectic holonomy groups.  ...  In fact, a brief exposition of a twistor theory, developed by Merkulov, to study the geometry of the moduli space of Legendrian deformations of certain complex ho- mogeneous spaces is given.  ... 

Coeffects: Unified Static Analysis of Context-Dependence [chapter]

Tomas Petricek, Dominic Orchard, Alan Mycroft
2013 Lecture Notes in Computer Science  
Monadic effect systems provide a unified way of tracking effects of computations, but there is no unified mechanism for tracking how computations rely on the environment in which they are executed.  ...  We present three examples that do not fit the traditional approach of effect systems and have not been considered using the modal logic perspective, but can be captured as coeffect systems ( §1) -the tracking  ...  We thank Gavin Bierman, Tarmo Uustalu, Varmo Vene and reviewers of earlier drafts. This work was supported by the EPSRC and CHESS.  ... 
doi:10.1007/978-3-642-39212-2_35 fatcat:oicnyrke7fhd3abwz4auvoy3gm

The semantic marriage of monads and effects [article]

Dominic Orchard, Tomas Petricek, Alan Mycroft
2014 arXiv   pre-print
Dually, this approach yields indexed comonads which gives a unified semantics and effect system to contextual notions of effect (called coeffects), which we have previously described.  ...  We redefine the semantics of Moggi's computational lambda-calculus in terms of (strong) indexed monads which gives a one-to-one correspondence between indices of the denotations and the effect annotations  ...  They established soundness results between the effect system and an operational semantics, and conjectured a "coherent semantics" of effects and monads in a denotational style.  ... 
arXiv:1401.5391v1 fatcat:hdntf3yjijf33l6jg6j3hocjsy

Integrating Global Climate Change Mitigation Goals with Other Sustainability Objectives: A Synthesis

Christoph von Stechow, David McCollum, Keywan Riahi, Jan C. Minx, Elmar Kriegler, Detlef P. van Vuuren, Jessica Jewell, Carmenza Robledo-Abad, Edgar Hertwich, Massimo Tavoni, Sevastianos Mirasgedis, Oliver Lah (+6 others)
2015 Annual Review Environment and Resources  
This article reviews and synthesizes results from disparate strands of literature on the coeffects of mitigation to inform climate policy choices at different governance levels.  ...  The incommensurability and uncertainties around the quantification of coeffects become, however, increasingly pervasive the more the perspective shifts from sectoral and local to economy wide and global  ...  Seto, Felix Creutzig, Michael Jakob, Fabian Joas, and Steffen Brunner for helpful comments on earlier versions of this manuscript.  ... 
doi:10.1146/annurev-environ-021113-095626 fatcat:qo2hmylj25fs5apihsjccs2vzu

PhD Abstracts

GRAHAM HUTTON
2017 Journal of functional programming  
As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  The usual way of defining type theory formally is by starting with an inductive definition of precontexts, pretypes and preterms and as a second step defining a ternary typing relation over these three  ...  Internalising a type theory with dependent types is challenging because of the mutual definitions of types, terms, substitution of terms and the conversion relation.  ... 
doi:10.1017/s0956796817000089 fatcat:p2yk5sbqazcuriv33wdtzekcc4

A Core Quantitative Coeffect Calculus [chapter]

Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic
2014 Lecture Notes in Computer Science  
Monadic notions of computation are well-established mechanisms used to express effects in pure functional languages. Less well-established is the notion of comonadic computation.  ...  In this work, we present a language RPCF inspired by a generalized interpretation of the exponential modality.  ...  This work benefited from partial support of: ANR, under projects  ... 
doi:10.1007/978-3-642-54833-8_19 fatcat:lfedilzrobewxbj55nogaeodj4

Modal Reasoning = Metric Reasoning, via Lawvere [article]

Ugo Dal Lago, Francesco Gavazzo
2021 arXiv   pre-print
We prove such a relation to be a congruence, this way obtaining a compositional technique for reasoning about modal and coeffectful behaviours.  ...  To achieve this goal, we develop a general theory of ternary program relations based on the novel notion of a comonadic lax extension, on top of which we define a modal extension of Abramsky's applicative  ...  operationally-based techniques for effectful and coeffectful languages that, to the best of the authors' knowledge, are not available in any of the operational theories of coeffects present in the literature  ... 
arXiv:2103.03871v1 fatcat:x6prnsruf5fdtpyrhgv5fzk4vu

Embedding effect systems in Haskell

Dominic Orchard, Tomas Petricek
2014 Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14  
Along the way, we relate the examples to other concepts, such as Haskell's implicit parameters and coeffects.  ...  We explore a number of practical examples that make Haskell even better and safer for effectful programming.  ...  this manuscript, and participants of Fun in the Afternoon 2014 (Facebook, London) for comments on a talk based on an early version.  ... 
doi:10.1145/2633357.2633368 dblp:conf/haskell/OrchardP14 fatcat:mgydh7itgffr3divcfvz3usva4

Embedding effect systems in Haskell

Dominic Orchard, Tomas Petricek
2014 SIGPLAN notices  
Along the way, we relate the examples to other concepts, such as Haskell's implicit parameters and coeffects.  ...  We explore a number of practical examples that make Haskell even better and safer for effectful programming.  ...  this manuscript, and participants of Fun in the Afternoon 2014 (Facebook, London) for comments on a talk based on an early version.  ... 
doi:10.1145/2775050.2633368 fatcat:zkwtxyxrrjbr5lcgtqcltiubsm

PhD Abstracts

GRAHAM HUTTON
2015 Journal of functional programming  
As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  This porting process is nontrivial, and involves fundamental issues related to equality and finiteness; the recently developed homotopy type theory is put to good use formalizing these issues in a satisfactory  ...  One of the key contributions is to port the theory of species from a classical, untyped set theory to a constructive type theory.  ... 
doi:10.1017/s0956796815000167 fatcat:6t25jkfshjfdtj7hv5mxmjcwfm

Lifespan associations of resting-state brain functional networks with ADHD symptoms [article]

Rong Wang, Yongchen Fan, Ying Wu, Yu-Feng Zang, Changsong Zhou
2022 arXiv   pre-print
Our findings reveal a lifespan association of brain networks with ADHD symptoms and provide potential shared neural bases of distinct ADHD symptoms in children and adults.  ...  Compared to the linear lifespan associations of brain functional segregation and integration with age in HCs, ADHD patients have a quadratic association in the whole brain and in most functional systems  ...  A larger positive coeffect indicates a higher effect of In H Se H In H Se H ADHD on brain network integration, and a larger negative coeffect represents a higher effect of age.  ... 
arXiv:2107.13219v3 fatcat:arphczgvondjjpaqq36jyp5nbi
« Previous Showing results 1 — 15 out of 198 results