From: secretary@lxny.org
To: help-gnu-emacs@gnu.org
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 [thread overview]
Message-ID: <fhr1lo$lj7$1@panix3.panix.com> (raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3593 bytes --]
<blockquote
what="official New York Functional Programmers Meetup announcement"
source-url="http://lisp.meetup.com/59/calendar/6617972"
edits="some, because the web page had much stuff"
note="The Meetup system provides a notification service, so likely
"we will not forward future notices."
nb="You must RSVP via Meetup web page in order to attend.">
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!
< ... />
</blockquote>
Distributed poC TINC:
Jay Sulzberger <secretary@lxny.org>
Corresponding Secretary LXNY
LXNY is New York's Free Computing Organization.
http://www.lxny.org
reply other threads:[~2007-11-19 3:58 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='fhr1lo$lj7$1@panix3.panix.com' \
--to=secretary@lxny.org \
--cc=help-gnu-emacs@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).