(2008)

Cached

Download Links

by Idioms Are Oblivious , Sam Lindley , Philip Wadler , Jeremy Yallop

Active Bibliography

unknown title – Idioms Are Oblivious, Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
7 The arrow calculus – Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
MSFP 2008 What is a Categorical Model of Arrows? – Robert Atkey
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
Amr Sabry – University Of Oregon, Amr Sabry, Philip Wadler - 1997
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
Math. Struct. in Comp. Science Structuring Quantum Effects: – Superoperators As Arrows - 2005
16 Structuring quantum effects: Superoperators as arrows – Juliana K. Vizzotto, Thorsten Altenkirch, Amr Sabry - 2006
Under consideration for publication in J. Functional Programming 1 The Arrow Calculus – Sam Lindley, Philip Wadler, Jeremy Yallop
1 Calculi for intuitionistic normal modal logic – Yoshihiko Kakutani - 2007
5 Cartesian effect categories are Freyd-categories – Jean-guillaume Dumas, Dominique Duval, Jean-claude Reynaud - 2009
On the Semantics of Parsing Actions – Hayo Thielecke
CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
Constructing Applicative Functors – Ross Paterson
5 On the call-by-value CPS transform and its semantics – Carsten F├╝hrmann , Hayo Thielecke - 2004
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001