ENTCS 2011 - PDF Preprint Papers

ENTCS 2011

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ENTCS-2011 Paper

click to vote

ENTCS
2011

134views more ENTCS 2011»

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous

12 years 8 months ago

Download homepages.inf.ed.ac.uk

We revisit the connection between three notions of computation: Moggi’s monads, Hughes’s arrows and McBride and Paterson’s idioms (also called applicative functors). We show...

Sam Lindley, Philip Wadler, Jeremy Yallop

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	134	Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous	claim
2	131	Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How	claim
3	130	Bell States and Negative Sentences in the Distributed Model of Meaning	claim
4	129	Specifying Proof Systems in Linear Logic with Subexponentials	claim
5	125	A Hybrid Public Announcement Logic with Distributed Knowledge	claim
6	120	Game Semantics for Quantum Data	claim
7	106	A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi	claim
8	105	Bridges from Language to Logic: Concepts, Contexts and Ontologies	claim
9	102	DES: A Deductive Database System	claim
10	99	Symmetry and Composition in Probabilistic Theories	claim
11	89	Information Processing in Convex Operational Theories	claim
12	88	Categorical Properties of The Complex Numbers	claim
13	85	Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)	claim
14	77	Quantum Circuits: From a Network to a One-Way Model	claim
15	72	Abstract Interpretation of Dynamics of Biological Regulatory Networks	claim
16	61	Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits	claim
17	56	Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract)	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers