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.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 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 8AE1CBBCA for ; Tue, 18 Mar 2008 20:59:09 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhsBAB+830dC+VLrkmdsb2JhbACCPDaOEAEBAQEHBAQJChaReIYk X-IronPort-AV: E=Sophos;i="4.25,519,1199660400"; d="scan'208";a="10417515" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Mar 2008 20:59:09 +0100 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 m2IJx8G7029138 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 18 Mar 2008 20:59:08 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhsBAB+830dC+VLrkmdsb2JhbACCPDaOEAEBAQEHBAQJChaReIYk X-IronPort-AV: E=Sophos;i="4.25,519,1199660400"; d="scan'208";a="10417511" Received: from wx-out-0506.google.com ([66.249.82.235]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Mar 2008 20:59:07 +0100 Received: by wx-out-0506.google.com with SMTP id h28so70123wxd.0 for ; Tue, 18 Mar 2008 12:59:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; 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=L57gQjgrib6e1fC1I3mAlixJ5XYB2lDoJZKeHD8T1vA=; b=tnpvJzz2+1bO9zTzcCRgd/36DLtwQQoi4K3iK3yYJpK0RAq0YyH0wQVmzfRMWl8KEJJcVs0TM2oormo8sWIXBBJwmmWVz1A7N2EzG92pzZy1ztxWiHxpWHRNLU263Aqg4EYS260XXxeCh4ucjlVL1nYnYcKdFf9qV2NWsrqU/G4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=fXUTKi84FK3Yi4WrFSg3reUuqPB3L98Kn9g7tMRwia60WG1oisStXBtMl4+rqoO6actMdZvhGxj93Ff5cr81N9SWHxwA8SnPqOouVBhtlgQ6YZTecr+lBy9WMpVkbJLP0d5e2kvPBkZQBv9HsEus64xpJMex0Ybrc4TS+LYlIWY= Received: by 10.141.29.18 with SMTP id g18mr1114582rvj.162.1205870345473; Tue, 18 Mar 2008 12:59:05 -0700 (PDT) Received: by 10.141.161.8 with HTTP; Tue, 18 Mar 2008 12:59:05 -0700 (PDT) Message-ID: <5de3f5ca0803181259g5b8126deob020d86fd22cbd0d@mail.gmail.com> Date: Tue, 18 Mar 2008 12:59:05 -0700 From: "Greg Meredith" Sender: lgreg.meredith@gmail.com To: haskell@haskell.org, haskell-cafe , "Scala list" , caml-list Subject: NW Functional Programming Interest Group In-Reply-To: <5de3f5ca0802011155l771cc649wa0e671bbe3abe364@mail.gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_11920_15932813.1205870345469" References: <5de3f5ca0802011155l771cc649wa0e671bbe3abe364@mail.gmail.com> X-Google-Sender-Auth: 6a76b7b39a329e31 X-Miltered: at concorde with ID 47E01F0C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; isomorphism:01 isomorphism:01 806:98 806:98 functional:02 functional:02 programming:03 programming:03 library:03 library:03 informal:04 informal:04 discussion:06 discussion:06 group:07 ------=_Part_11920_15932813.1205870345469 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline All, Apologies for multiple listings. A small cadre of us are organizing a Northwest Functional Programming Interest Group (hey... NWFPIG, that's kinda funny). Our next meeting is at the The Seattle Public Library 1000 - 4th Ave. Seattle, WA 98104 from 18:30 - 20:00 on March 19th. On this meeting's agenda - i'll give a highly idiosyncratic talk about the Curry-Howard isomorphism - followed an informal discussion section 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_11920_15932813.1205870345469 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline All,

Apologies for multiple listings.

A small cadre of us are organizing a Northwest Functional Programming
Interest Group (hey... NWFPIG, that's kinda funny). Our next
meeting is at the

The Seattle Public Library
1000 - 4th Ave.
Seattle, WA  98104 

from 18:30 - 20:00 on March 19th.

On this meeting's agenda
  • i'll give a highly idiosyncratic talk about the Curry-Howard isomorphism
  • followed an informal discussion section
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_11920_15932813.1205870345469--