From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6263 Path: news.gmane.org!not-for-mail From: Jeff Egger Newsgroups: gmane.science.mathematics.categories Subject: Re: Haskell Arrows and internal categories Date: Thu, 30 Sep 2010 03:24:53 -0700 (PDT) Message-ID: References: Reply-To: Jeff Egger NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1285898674 8146 80.91.229.12 (1 Oct 2010 02:04:34 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 1 Oct 2010 02:04:34 +0000 (UTC) Cc: categories To: Bas Spitters , Mike Stay Original-X-From: majordomo@mlist.mta.ca Fri Oct 01 04:04:31 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1P1Uz9-0007tL-9W for gsmc-categories@m.gmane.org; Fri, 01 Oct 2010 04:04:31 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36463) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1P1UyJ-0005yi-Ok; Thu, 30 Sep 2010 23:03:39 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1P1UyG-0001jY-9O for categories-list@mlist.mta.ca; Thu, 30 Sep 2010 23:03:36 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6263 Archived-At: 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 > To: Mike Stay > Cc: categories > 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/arrows.pdf > >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/arrows.pdf > >f > > Bas > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]