From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: secretary@lxny.org Newsgroups: gmane.emacs.help Subject: NYC LOCAL: Tuesday 20 November 2007 New York FP Meetup: Anton van Straaten on Functions, Contracts, the Lazy, the Eager, and the SEC Date: 18 Nov 2007 22:58:48 -0500 Organization: LXNY New York's Free Software Organization Message-ID: NNTP-Posting-Host: lo.gmane.org X-Trace: ger.gmane.org 1195447235 21451 80.91.229.12 (19 Nov 2007 04:40:35 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 19 Nov 2007 04:40:35 +0000 (UTC) Keywords: available, hackable, freely redistributable source; GPL, BSDL, ArtisticL, XSL To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Mon Nov 19 05:40:40 2007 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1ItyR6-0003ll-EY for geh-help-gnu-emacs@m.gmane.org; Mon, 19 Nov 2007 05:40:40 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1ItyQs-0006BT-Rq for geh-help-gnu-emacs@m.gmane.org; Sun, 18 Nov 2007 23:40:26 -0500 Original-Path: shelby.stanford.edu!headwall.stanford.edu!newsfeed.news2me.com!nx01.iad01.newshosting.com!newshosting.com!198.186.194.251.MISMATCH!news-out.readnews.com!transit4.readnews.com!panix!panix3.panix.com!not-for-mail Original-Newsgroups: alt.religion.emacs,comp.lang.lisp,comp.lang.scheme,gnu.emacs.help Original-Followup-To: comp.lang.lisp Original-Lines: 105 Original-NNTP-Posting-Host: panix3.panix.com Original-X-Trace: reader1.panix.com 1195444727 14112 166.84.1.3 (19 Nov 2007 03:58:47 GMT) Original-X-Complaints-To: abuse@panix.com Original-NNTP-Posting-Date: Mon, 19 Nov 2007 03:58:47 +0000 (UTC) Original-Xref: shelby.stanford.edu alt.religion.emacs:9056 comp.lang.lisp:233480 comp.lang.scheme:74678 gnu.emacs.help:153902 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:49333 Archived-At:
Subject: The New York Functional Programmers November Meetup - The New York Functional Programmers Meetup Group (Brooklyn, NY) - Meetup.com X-URL: http://lisp.meetup.com/59/calendar/6617972/ < ... /> The New York Functional Programmers Meetup Group * Welcome * About Us * Calendar * Members * Photos * Messages * Polls * Files * Promote! Organizer: Brian Hurt Asst. Organizers: Howard Mansell, Markus RSVP for The New York Functional Programmers November Meetup « back to calendar view When: Tuesday, November 20, 2007, 7:00 PM 20071121T000000Z Where: ANSI Headquarters 25 W 43rd Street near 5th Ave NY, NY 10036 Description: This is the official meeting for this month. Anton van Straaten is giving a talk, "Functional Financial Contracts in Haskell and OCaml". His description: This talk will discuss the approach to modeling financial contracts originally presented in the paper "Composing contracts: an adventure in financial engineering"[*] by Peyton-Jones, Eber and Seward. According to the paper's abstract: "Financial and insurance contracts do not sound like promising territory for functional programming and formal semantics, but in fact we have discovered that insights from programming languages bear directly on the complex subject of describing and valuing a large class of contracts. "We introduce a combinator library that allows us to describe such contracts precisely, and a compositional denotational semantics that says what such contracts are worth. We sketch an implementation of our combinator library in Haskell. Interestingly, lazy evaluation plays a crucial role." The approach described in the paper provides a precise way to specify financial contracts, value them, and process their evolution through time. To achieve this, it uses a domain-specific embedded language, exploiting concepts and techniques from programming language theory. The talk will provide an overview of this approach and its advantages, along with a simple implementation of the core concepts in the paper, presented in Haskell and OCaml[2]. The programming language theory features exploited by the paper will be analyzed. No prior knowledge of financial contracts or programming language theory is required, but some knowledge of a functional programming language such as Haskell or ML will help. < ... /> RSVP now to attend this Meetup! Your RSVP lets us keep you up-to-date with any changes and saves you a spot when space is limited. Can you attend? (_) Yes (_) Maybe (_) No, but join me to this group RSVP! < ... />
Distributed poC TINC: Jay Sulzberger Corresponding Secretary LXNY LXNY is New York's Free Computing Organization. http://www.lxny.org