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! < ... />