[erlang-questions] ICFP07 Accepted Papers

[Ulf Wiger (TN/EAB)]

Oops - two erlang-related papers in the main ICFP conference! (Nyström et al & Fredlund et al)
 
When did that last happen? (-:
 
BR,
Ulf W


________________________________

	From: erlang-questions-bounces@REDACTED [mailto:erlang-questions-bounces@REDACTED] On Behalf Of Matthew Fluet (ICFP Publicity Chair)
	Sent: den 15 juni 2007 16:52
	To: erlang-questions@REDACTED
	Subject: [erlang-questions] ICFP07 Accepted Papers
	
	
	                           Accepted Papers
	    ICFP 2007: International Conference on Functional Programming
	         http://www.informatik.uni-bonn.de/~ralf/icfp07.html 
	                 Freiburg, Germany, 1-3 October 2007
	                                   
	The ICFP 2007 Program Chair and Committee are pleased to announce that
	the following papers have been accepted for the conference. 
	
	Additional information regarding the final program, invited speakers,
	and registration will be forthcoming.  However, the Local Arrangements
	Chair offers the following advice regarding hotel reservations:
	
	 * As September and October is Freiburg's main tourist season, it is
	   important that participants book hotel rooms early.  The blocks of
	   hotel rooms reserved for ICFP participants will be held until
	   August 1.  It is expected that many downtown hotels will be fully
	   booked at the time of the conference.  [However, there should be
	   little to no penalty for cancelling a hotel room reservation after
	   August 1.] 
	
	More details regarding accommodation and travel may be obtained from
	the ICFP 2007 Local Information webpage:
	         http://proglang.informatik.uni-freiburg.de/ICFP2007/ 
	
	
	                           Accepted papers
	                           ~~~~~~~~~~~~~~~
	
	A Generic Usage Analysis with Subeffect Qualifiers
	    by Jurriaan Hage, Stefan Holdermans, Arie Middelkoop 
	
	Experience Report: A Haskell interpreter for CellML
	    by Jonathan Cooper, Steve McKeever
	
	A type directed translation of MLF to System-F
	    by Daan Leijen
	
	A Type System for Recursive Modules
	    by Derek Dreyer
	
	Adding Delimited and Composable Control to a Production Programming
	  Environment
	    by Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
	
	Bidirectionalization Transformation based on Automatic Derivation of View 
	  Complement Functions
	    by Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, 
	         Masato Takeichi
	
	Experience Report: Building an Eclipse-based IDE for Haskell
	    by Leif Frenzel
	
	Compiling with Continuations, Continued
	    by Andrew J. Kennedy
	
	Constructor specialisation for Haskell programs
	    by Simon Peyton Jones
	
	Evaluating High-Level Distributed Language Constructs
	    by Jan Nystrom, Phil Trinder, David King 
	
	Extensible Pattern Matching via a Lightweight Language Extension
	    by Don Syme, Gregory Neverov, James Margetson
	
	Faster laziness using dynamic pointer tagging
	    by Simon Marlow, Alexey Rodriguez, Simon Peyton Jones 
	
	Feedback Directed Implicit Parallelism
	    by Tim Harris, Satnam Singh
	
	Finger Trees in Russell
	    by Matthieu Sozeau
	
	Functional Pearl: The Great Escape
	    by David Herman
	
	Experience Report: Functional Programming in C-Rules 
	    by Jeremy Wazny
	
	Inductive Reasoning about Effectful Data Types
	    by Andrzej Filinski, Kristian Stoevring
	
	iTasks: Executable Specifications of Interactive Work Flow Systems for the Web
	    by Rinus Plasmeijer, Peter Achten, Pieter Koopman 
	
	Lazy Call-By-Value Evaluation
	    by Frank Huch, Bernd Brassel, Sebastian Fischer, Michael Hanus, 
	         German Vidal
	
	McErlang: A Model Checker for a Distributed Functional Programming Language
	    by Lars-Åke Fredlund, Hans Svensson
	
	On Barron and Strachey's Cartesian Product Function
	    by Michael Spivey, Olivier Danvy
	
	Ott: Effective Tool Support for the Working Semanticist
	    by Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, 
	         Thomas Ridge, Susmit Sarkar, Rok Strnisa
	
	Relating Complexity and Precision in Control Flow Analysis
	    by David Van Horn, Harry Mairson
	
	Experience Report: Scheme in Commercial Web Application Development 
	    by Noel Welsh, David Gurnell
	
	Stream Fusion: From Lists to Streams to Nothing at All
	    by Duncan Coutts, Roman Leshchinskiy, Don Stewart
	
	Tangible Functional Programming
	    by Conal Elliott
	
	Termination Analysis and Call Graph Construction for Higher-Order Functional
	  Programs
	    by Damien Sereni
	
	The Portable R6RS Syntax System
	    by Abdulaziz Ghuloum, R. Kent Dybvig
	
	Experience Report: The Reactis Validation Tool 
	    by Steve Sims, Daniel C. DuVarney
	
	Type-safe Higher-order Channels in ML-like Languages
	    by Sungwoo Park
	
	User-Friendly Functional Programming for Web Mashups
	    by Rob Ennals, David Gay
	
	Experience Report: Using Functional Programming to Manage a Linux Distribution
	    by Clifford Beshers, David Fox, Jeremy Shaw
	
	

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20070615/f43eb51f/attachment.htm>