11th ACM SIGPLAN International Conference on Functional Programming

I attended the Saturday weekend workshop in Erlang, and split Sunday between the Haskell and Scheme workshops, opting for the presentations that most interested me. In the following posts, I'll provide a review of some of the talks and papers at these workshops. Since each paper is published under a copyright that appears to require 'prior specific permission and/or a fee' to '...republish, to post on servers or to redistribute to lists', I'll just provide a summary of interesting points.

ACM SIGPLAN Erlang Workshop 2006

1. Concurrent Caching, J. Nelson (DuoMark International, Inc.)


2. Comparing C++ and Erlang for Motorola Telecoms Software, P. Trinder (Heriot-Watt University)


3. From HTTP to HTML - Erlang OTP Experiences in Web Based Service Applications, F Cesarini, L.-A. Larsson, M. Slaski (Erlang Training & Consulting, Ltd.)


4. Evaluation of Database Management Systems for Erlang, E. Hellman (Erlang Training & Consulting, Ltd.)

ACM SIGPLAN Scheme and Functional Programming Workshop 2006

1. Invited Talk: The HOP Development Kit, Manuel Serrano (Inria Sophia Antipolis)


2. Concurrency Oriented Programming in Termite Scheme, presented Guillaume Germain on behalf of himself, Mark Feeley, and Stefan Monnier (Universite de Montreal)


3. Interaction-Safe State for the Web, Jay McCarthy, Shriram Krishnamurthi (Brown University)


4. Scheme for Client-Side Scripting in Mobile Web Browsing (or Ajax-like Behavior without Javascript), Ray Rischpater (Rocket Mobile, Inc)

ACM SIGPLAN Haskell Workshop 2006

1. Running the Manual: An Approach to High-Assurance Microkernel Development, P. Derrin, K. Elphinstone, G. Klein, D. Cock, M. M. T. Chakravarty (University of New South Wales)


2. User-Level Transactional Programming in Haskell, P.Thiemann (Universitat Frieburg)


3. Interactive Debugging with GHCi, D. Himmelstrup (unfortunately the presenter couldn't make it and the talk was cancelled, and only the paper's abstract and a single code example are published in the conference literature)

I may not get to all of these for a while...