From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.6 required=5.0 tests=AWL,FORGED_YAHOO_RCVD autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 41EE5BBCA for ; Wed, 16 Apr 2008 05:02:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkUOAAYJBUjAXQIn/2dsb2JhbACBYAOrRA X-IronPort-AV: E=Sophos;i="4.25,663,1199660400"; d="scan'208";a="11507608" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Apr 2008 05:02:28 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3G32Sm1009786 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 16 Apr 2008 05:02:28 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah8CAAYJBUhCbwQZlGdsb2JhbACBYAOPdwEBAQEJAwsHFpsV X-IronPort-AV: E=Sophos;i="4.25,663,1199660400"; d="scan'208";a="9633807" Received: from out1.smtp.messagingengine.com ([66.111.4.25]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Apr 2008 05:02:27 +0200 Received: from compute2.internal (compute2.internal [10.202.2.42]) by out1.messagingengine.com (Postfix) with ESMTP id 8CD02EE254; Tue, 15 Apr 2008 23:02:26 -0400 (EDT) Received: from heartbeat2.messagingengine.com ([10.202.2.161]) by compute2.internal (MEProxy); Tue, 15 Apr 2008 23:02:26 -0400 X-Sasl-enc: iEaiXl1XkQo5XSVLytBG4tE9fyruW/lBkYlQmEl2CQiB 1208314946 Received: from Macintosh-2.local (67-42-101-128.tukw.qwest.net [67.42.101.128]) by mail.messagingengine.com (Postfix) with ESMTPSA id 7977D27730; Tue, 15 Apr 2008 23:02:25 -0400 (EDT) Message-ID: <48056C43.8040705@yahoo.com> Date: Tue, 15 Apr 2008 20:02:27 -0700 From: Jeff Henrikson User-Agent: Thunderbird 2.0.0.12 (Macintosh/20080213) MIME-Version: 1.0 To: "Greg Meredith" Cc: haskell@haskell.org, haskell-cafe@haskell.org, scala@listes.epfl.ch, caml-list Subject: NW Functional Programming Interest Group References: <20080415152133.84941.qmail@mta133.mail.re3.yahoo.com> In-Reply-To: <20080415152133.84941.qmail@mta133.mail.re3.yahoo.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 48056C44.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; henrikson:01 jehenrik:01 haskell:01 ocaml:01 henrikson:01 haskell:01 isomorphism:01 iterated:01 monads:01 grocery:98 fluid:98 in-reply-to:01 caml-list:01 caml-list:01 epfl:02 Hi Greg, Not sure if you're aware but there is already a functional programming interest group in Seattle, SeaFunc. We have been meeting approximately every 4 weeks since 2004. For the sake of people deciding which group to follow, could you explain the differences of your scope? (We also discuss Haskell, OCaml, and Scala, among other things.) http://tech.groups.yahoo.com/group/SeaFunc/ Our regularly scheduled meeting is also tomorrow, April 16 (later at 8pm) at Ralph's Grocery downtown. Check the list for details. Jeff Henrikson > Message-ID: <5de3f5ca0804150821t342512bcv5fd3bb5f02f20bd7@mail.gmail.com> > Date: Tue, 15 Apr 2008 08:21:19 -0700 > From: "Greg Meredith" > To: haskell@haskell.org, haskell-cafe , > "Scala list" , caml-list , > northwest-functional-programming-interest-group@googlegroups.com > In-Reply-To: <5de3f5ca0802011155l771cc649wa0e671bbe3abe364@mail.gmail.com> > Subject: NW Functional Programming Interest Group > > All, > > Apologies for multiple listings. > > It's that time again. Our growing cadre of functionally-minded north > westerners > is meeting at the > > The Seattle Public Library > 1000 - 4th Ave. > Seattle, WA 98104 > > from 18:30 - 20:00 on April 16th. > > This meeting's agenda is a little more fluid, but... > > - i would like to talk about a proposal i'm mulling over around a much > more general account of the Curry-Howard isomorphism by way of iterated > distributive laws for monads > - we also need to get a couple more people on the hook to give a talk > > Hope to see you there. > > Monadically yours, > > --greg > >