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=0.3 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C9A08BBCA for ; Tue, 15 Apr 2008 17:21:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqwEAPdkBEjAXQIn/2dsb2JhbACCQDakb4VH X-IronPort-AV: E=Sophos;i="4.25,661,1199660400"; d="scan'208";a="10925859" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Apr 2008 17:21:22 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3FFLMj6019512 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 15 Apr 2008 17:21:22 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvkAAPdkBEjRVcb6fmdsb2JhbACCQDaOYgEBCwUCBQkWlVWFRw X-IronPort-AV: E=Sophos;i="4.25,661,1199660400"; d="scan'208";a="11487075" Received: from rv-out-0708.google.com (HELO rv-out-0506.google.com) ([209.85.198.250]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Apr 2008 17:21:20 +0200 Received: by rv-out-0506.google.com with SMTP id b17so820656rvf.57 for ; Tue, 15 Apr 2008 08:21:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; bh=f0Ex1IFXdFWj7w5Vnis/A/fWmNPfp9T0IWUEY5SM5wE=; b=XQ7F91RWwrZrJmhUN4tjd0XT/hEWWnu/t5lKr5JfgfVzcvyxnjSFvPAOVzcwFRQh9UBPjA4Vb7XU5H6aH225B2vOk/hpwEgAxsS1JGBKjZflNRFir9uHy8pjMdK85iFFJrzu4D/yNyAOKtYYKjUrAUgXMV26zDMELPu3isDBF64= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=jZpdHtHnLzsswrQ76FVGAPLTBXf/7UjuNgi8pfmtH5JwK0RWegmCuSFxIq1IKtEaO/3cscTj7MWVv2TK3cbWVu5DHSBB5oZOLdHZBZLTN+w+qsTb2WMcJKXK58oHaLP8nz6pHxu77lWMIN1yXaOyGQpqD7XNAVhpGPfSopmMcVA= Received: by 10.140.248.17 with SMTP id v17mr4376463rvh.9.1208272879214; Tue, 15 Apr 2008 08:21:19 -0700 (PDT) Received: by 10.141.161.8 with HTTP; Tue, 15 Apr 2008 08:21:19 -0700 (PDT) Message-ID: <5de3f5ca0804150821t342512bcv5fd3bb5f02f20bd7@mail.gmail.com> Date: Tue, 15 Apr 2008 08:21:19 -0700 From: "Greg Meredith" Sender: lgreg.meredith@gmail.com To: haskell@haskell.org, haskell-cafe , "Scala list" , caml-list , northwest-functional-programming-interest-group@googlegroups.com Subject: NW Functional Programming Interest Group In-Reply-To: <5de3f5ca0802011155l771cc649wa0e671bbe3abe364@mail.gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_1336_14813309.1208272879200" References: <5de3f5ca0802011155l771cc649wa0e671bbe3abe364@mail.gmail.com> X-Google-Sender-Auth: 73a8e0a226e61446 X-Miltered: at concorde with ID 4804C7F2.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; isomorphism:01 iterated:01 monads:01 isomorphism:01 iterated:01 monads:01 fluid:98 806:98 fluid:98 806:98 functional:02 programming:03 library:03 library:03 group:07 ------=_Part_1336_14813309.1208272879200 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline 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 -- L.G. Meredith Managing Partner Biosimilarity LLC 806 55th St NE Seattle, WA 98105 +1 206.650.3740 http://biosimilarity.blogspot.com ------=_Part_1336_14813309.1208272879200 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline 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

--
L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105

+1 206.650.3740

http://biosimilarity.blogspot.com
------=_Part_1336_14813309.1208272879200--