I should also point out recent work of my colleagues: "What is a Categorical Model of Arrows?" Robert Atkey. Mathematically Structured Functional Programming 2008. http://personal.cis.strath.ac.uk/~raa/arrows.pdf http://personal.cis.strath.ac.uk/~raa/msfp-slides-arrows.pdf "Idioms are oblivious, arrows are meticulous, monads are promiscuous." Sam Lindley, Philip Wadler, and Jeremy Yallop. In the proceedings of MSFP 2008. ENTCS. http://homepages.inf.ed.ac.uk/slindley/papers/idioms-arrows-monads.pdf "The arrow calculus." Sam Lindley, Philip Wadler and Jeremy Yallop. In the Journal of Functional Programming 20:1, pages 51-69, January 2010. Cambridge University Press. http://homepages.inf.ed.ac.uk/slindley/papers/arrow-calculus.pdf Cheers, Jeff. ----- Original Message ----
From: Bas Spitters <spitters@cs.ru.nl> To: Mike Stay <metaweta@gmail.com> Cc: categories <categories@mta.ca> Sent: Wed, September 29, 2010 1:06:16 PM Subject: categories: Re: Haskell Arrows and internal categories
You may be interested in the work of my colleagues: "Categorical semantics for Arrows" (2009) Bart Jacobs, Ichiro Hasuo and Chris Heunen Journal of Functional Programming, 19(3-4):403-438, 2009 http://www.comlab.ox.ac.uk/people/chris.heunen/publications/2008/arrows/arro...
f
"Arrows, like Monads, are Monoids" (2006) Bart Jacobs and Chris Heunen (ENTCS 158:219-236) in the proceedings of MFPS 22 http://www.comlab.ox.ac.uk/people/chris.heunen/publications/2006/arrows/arro...
f
Bas
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]