ICFP 2000 Preliminary Program (updated)
Konstantin Läufer
ICFP 2000: International Conference on Functional Programming
Montreal, Canada; 18--20 September 2000
http://diwww.epfl.ch/~odersky/icfp2000
associated with PLI 2000: Colloquium on Principles, Logics,
and Implementations of High-Level Programming Languages
http://www.cs.yorku.ca/pli-00
MONDAY, 18th September
Invited Speaker: 8.45-9:45 Chaired by Philip Wadler
Limsoon Wong, National University of Singapore, lim...@krdl.org.sg
Session I: 10:15-11:15 Chaired by Shriram Krishnamurthi
Regular Expression Types for XML
Haruo Hosoya, Univ of Pennsylvania, haho...@linc.cis.upenn.edu
Jérôme Vouillon, University of Pennsylvania
Benjamin Pierce, University of Pennsylvania
The Influence of Browsers on Evaluators
Christian Queinnec, Universite Paris 6, Christian...@lip6.fr
Session II: 11:30-12:30 Chaired by Andrew Wright
Static Enforcement of Security with Types
Christian Skalka, Johns Hopkins University, c...@blaze.cs.jhu.edu
Scott Smith, Johns Hopkins University
Information Flow Inference For Free
Francois Pottier, INRIA, Francois...@inria.fr
Sylvain Conchon, INRIA
Session III: 14:00-15:30 Chaired by Greg Morrisett
Type-Safe Cast
(Functional pearl)
Stephanie Weirich, Cornell University, swei...@cs.cornell.edu
Typed Compilation of Inclusive Subtyping
Karl Crary, Carnegie Mellon University, cr...@cs.cmu.edu
Fully Reflexive Intensional Type Analysis
Valery Trifonov, Yale University
Bratin Saha, Yale University
Zhong Shao, Yale University
Session IV: 16:00-17:30 Chaired by Atsushi Ohori
More Types for Nested Data Parallel Programming
Manuel Chakravarty, University of New South Wales, ch...@cse.unsw.edu.au
Gabriele Keller, University of Technology, Sydney
FranTk - A declarative GUI language for Haskell
Meurig Sage, University of Glasgow, meu...@dcs.gla.ac.uk
Functional Programming in C++
Yannis Smaragdakis, Georgia Institute of Technology,
yan...@cc.gatech.edu
Brian McNamara, Georgia Institute of Technology
Program chair's report, plus a teaser: 17:30-17:45
Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design
(I)
(Functional pearl)
Chris Okasaki, Columbia University, c...@cs.columbia.edu
TUESDAY, 19th September
Invited Speaker: 8.45-9:45 Chaired by Xavier Leroy
Benjamin Pierce, University of Pennsylvania
Session V: 10:15-11:15 Chaired by Richard Bird
Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design
(II)
(Functional pearl)
Chris Okasaki, Columbia University
Calculating Linear Time Algorithms for Solving Maximum Weightsum Problems
Isao Sasano, University of Tokyo
Zhenjiang Hu, University of Tokyo
Masato Takeichi, University of Tokyo
Mizuhito Ogawa, NTT
Session VI: 11:30-12:30 Chaired by Susan Eisenbach
Cheap Eagerness: Speculative Evaluation in a Lazy Functional Language
Karl-Filip Faxen, KTH, Stockholm
An Operational Semantics for Parallel Lazy Evaluation
Clem Baker-Finch, University of Canberra
David King, Motorola Labs
Phil Trinder, Heriot-Watt University
Session VII: 14:00-15:30 Chaired by Eugenio Moggi
Recursive Monadic Bindings
Levent Erkok, Oregon Graduate Institute
John Launchbury, Oregon Graduate Institute
Deriving Backtracking Monad Transformers
(Functional pearl)
Ralf Hinze, Universität Bonn
Intersection Types and Computational Effects
Frank Pfenning, Carnegie Mellon University
Rowan Davies, Carnegie Mellon University
Session VIII: 16:00-17:30 Chaired by Ralf Hinze
Syntactic Accidents in Program Analysis:
On the Impact of the CPS Transformation
Olivier Danvy, BRICS, University of Aarhus
Daniel Damian, BRICS, University of Aarhus
Recursive Types for Dummies
(Functional pearl)
Vladimir Gapeyev
Michael Levin, University of Pennsylvania
Benjamin Pierce, University of Pennsylvania
The Duality of Computation
Hugo Herbelin, INRIA
Pierre-Louis Curien, CNRS and University Paris 7
Programming Contest Award Presentations: 17:30-18:00 Chaired by Greg
Morrisett
WEDNESDAY, 20th September
Invited Speaker: 8.45-9:45 Chaired by Andrew Wright
Carl Seger, Intel
Session IX: 10:15-11:15 Chaired by Xavier Leroy
Understanding Memory Allocation of Scheme Programs
Manuel Serrano, University of Nice
Hans-J Boehm, Hewlett-Packard
Non-stop Haskell
Tony Field, Imperial College
Andy Cheadle, Imperial College
Simon Marlow, Microsoft Research
Simon Peyton Jones, Microsoft Research
Lyndon While, UWA, Perth
Session X: 11:30-12:30 Chaired by Philip Wadler
QuickCheck, A Lightweight Tool for Random Testing of Haskell Programs
Koen Claessen, Chalmers University of Technology, ko...@cs.chalmers.se
John Hughes, Chalmers University of Technology
Composing contracts: an adventure in financial engineering
(Functional pearl)
Simon Peyton Jones, Microsoft Research
Jean-Marc Eber, Societe Generale
VENUE
PLI 2000 will be held in Montréal, at
Holiday Inn Select
Jardin Sinomonde
99 Viger Avenue West
Montréal (Québec)
Canada
http://www.hiselect-yul.com/indexa.html
mailto: hisele...@sympatico.ca
SPONSORS
ICFP 2000 is supported by Cambridge University Press, Compaq, EAPLS,
Microsoft Research, the Université de Montréal and Sun Microsystems.