Re: Commercial Users of Functional Programming Workshop Call for Participation

Hi Rainer

There may not be any Lisp talks in the program, but we welcome participation from members of the Lisp community. We hope Lispers will attend, contribute to the discussions, submit presentation proposals for future CUFPs and even get involved in organizing future CUFPs.

Kind regards

Jim Grundy

Rainer Joswig wrote:
In article <mailman.1.1216955923.22429.sml-redistribution@xxxxxxxxxxxxxxxxxxxxxx>,
Jim Grundy <jim.grundy@xxxxxxx> wrote:

Commercial Users of Functional Programming Workshop (CUFP) 2008

Functional Programming As a Means, Not an End

Call for Participation

Sponsored by SIGPLAN
Co-located with ICFP 2008
__________________________________________________________________

26 September 2008
Victoria, Canada

Registration opens in late July through
http://www.icfpconference.org/icfp2008/
__________________________________________________________________

Functional languages have been under academic development for
over 25 years, and remain fertile ground for programming language
research. Recently, however, developers in industrial,
governmental, and open source projects have begun to use
functional programming successfully in practical applications.
In these settings, functional programming has often provided
dramatic leverage, including whole new ways of thinking about the
original problem.

There is no Lisp-topic included in the talks. Yet it is being posted
to comp.lang.lisp. It does not mention Lisp in the introduction
paragraph and the first paragraph mentions the Functional languages
have been under academic development for over 25 years
(which is both precise and not precise).
This seems to exclude Lisp from any academic development of
functional languages, since Lisp was under academic development
much earlier (1958-). Same for practical applications, those are known
for Lisp for a much longer time. Macsyma for example started
somewhen in 1968. So the introductory paragraph does disconnect
Functional languages from the Lisp heritage and still the author
posts to comp.lang.lisp.
I wonder what the conferences in the 80s with the title
'Lisp and Functional Programming' were about?
http://www.informatik.uni-trier.de/~ley/db/conf/lfp/index.html
Sussman/Steele published about Scheme (Scheme: An Interpreter for
Extended Lambda Calculus) in December 1975. That would be
almost 33 years ago. Joel Moses wrote about the FUNARG problem
in 1970. And so...

For me the introductory paragraph sounds strange. But that's
what one hears the a lot from the FP guys. On one side they
want to disconnect from the L-word and also want to have created
the more modern replacement.

I wonder what happened to FP 25 years ago?

Hindley-Milner algorithm was earlier (1978). Backus' FP was earlier
(his Turing-Award lecture 'Can programming be liberated from
the von Neumann style? A functional style and its algebra of programs'
http://www.stanford.edu/class/cs242/readings/backus.pdf
was 1977). ML appeared 1973 (according to Wikipedia).

So, what was 25 years ago?

The goal of the CUFP workshop is to act as a voice for these users
of functional programming. The workshop supports the increasing
viability of functional programming in the commercial,
governmental, and open-source space by providing a forum for
professionals to share their experiences and ideas, whether those
ideas are related to business, management, or engineering. The
workshop is also designed to enable the formation and reinforcement
of relationships that further the commercial use of functional
programming. Providing user feedback to language designers and
implementors is not a primary goal of the workshop, though it will
be welcome if it occurs.

Program

CUFP 2008 will last a full day and feature a discussion session
and the following presentations:

Don Syme (Microsoft)
Invited Presentation: Why Microsoft is Investing in
Functional Programming

David Balaban (Amgen)
Minimizing the Immune Response to Functional Programming at
Amgen

Francesco Cesarini (Erlang Training and Consulting)
The Mobile Messaging Gateway, from Idea to Prototype to
Launch in 12 months

Jake Donham (Skydeck)
From OCaml to Javascript at Skydeck

Nick Gerakines (Yahoo)
Developing Erlang at Yahoo

Tom Hawkins (Eaton Corporation)
Controlling Hybrid Vehicles with Haskell

Bob Ippolito (Mochimedia)
Ad Serving with Erlang

Anil Madhavapeddy (Citrix)
Xen and the art of OCaml

Howard Mansell (Credit Suisse)
Quantitative Finance in F#

Jeff Polakow (Deutsche Bank)
Is Haskell ready for everyday computing?

David Pollak (Lift web framework)
Buy a Feature: an adventure in immutability and Actors

Gregory Wright (Antiope)
Functions to Junctions: Ultra Low Power Chip Design With
Some Help From Haskell

There will be no published proceedings, as the meeting is intended
to be more a discussion forum than a technical interchange.

See http://cufp.galois.com for more information, including
presentation abstracts and the most recent schedule information.

Program Committee

* Lennart Augustsson <lennart(dot)augustsson(at)gmail(dot)com>
* Matthias Blume <blume(at)tti-c(dot)org>
* Adam Granicz <granicz(dot)adam(at)intellifactory(dot)com>
* Jim Grundy(co-chair)<jim(dot)d(dot)grundy(at)intel(dot)com>
* Andy Martin <akmartin(at)us(dot)ibm(dot)com>
* Yaron Minsky <yminsky(at)janestcapital(dot)com>
* Simon Peyton Jones(co-chair)<simonpj(at)microsoft(dot)com>
* Ulf Wiger <ulf(dot)wiger(at)ericsson(dot)com>

This will be the fifth CUFP; see CUFP 2004 CUFP 2005, CUFP 2006,
and CUFP 2007 for information about the earlier meetings, including
reports from attendees and video of the most recent talks.

.

Relevant Pages