Request PDF on ResearchGate | Generalising monads to arrows | Monads have become very popular for structuring functional programs since. Semantic Scholar extracted view of “Generalising monads to arrows” by John Hughes. CiteSeerX – Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): this paper. Pleasingly, the arrow interface turned out to be applicable to other.
|Published (Last):||26 January 2016|
|PDF File Size:||18.11 Mb|
|ePub File Size:||8.64 Mb|
|Price:||Free* [*Free Regsitration Required]|
Combining Monads David J.
Related theoretical work Here is an incomplete list of theoretical papers dealing with structures similar to arrows. From This Paper Topics from this paper. Where the arrow functors arr and lift preserve objects, Blute et al introduce mediating morphisms, with dozens of coherence conditions.
An extension mnoads the previous paper, additionally using static arrows.
Generalising monads to arrows – Semantic Scholar
Also in Sigplan Notices. Skip to search form Skip to main content. This paper has citations.
CiteSeerX — Generalising Monads to Arrows
Causal Commutative Arrows and Their Optimization. Grammar fragments fly first-class Marcos VieraS. They then propose a general model of computation: A tutorial introduction to Yampathe latest generallsing of FRP. Semantic Scholar estimates that this publication has citations based on the available data. The paper introducing “arrows” — a friendly and comprehensive introduction. If the monoidal structure on C is given by products, this definition is equivalent to arrows.
Arrows: A General Interface to Computation
Citation Statistics Citations 0 20 40 ’98 ’02 ’07 ’12 ‘ References Publications referenced by this paper. This paper has generalisjng influenced 46 other papers. The first mention of the term Freyd-category. Dynamic optimization for functional reactive programming using generalized algebraic data types Henrik Nilsson ICFP They also deal with cocontextwhich subsumes ArrowChoice in the same way.
The main differences in the final version are: Towards safe and efficient functional reactive programming Neil Sculthorpe KingPhilip Wadler Functional Programming In [PT99] this case is called a Freyd-category.
Decribes the arrowized version of FRP. Report on the Programming Language Haskell: The list is also available in bibtex format. An overview of arrows from first principles, with a simplified account of a subset of the arrow notation.
See our FAQ for additional information.
Introduces the arrow notation, but will make more sense if you read one of the other papers first. Showing of 11 references. Showing of extracted citations. Arrows may be seen as strict versions of these.
Papers relating to arrows, divided into generalitiesapplications and related theoretical work. Citations Publications citing this paper.