Conference Program

The 2000 International Conference on Functional Programming (ICFP)

Montreal, Canada,
18 - 20 September 2000

ICFP 2000 is part of the colloquium on Principles, Logics, and Implementations of high-level programming languages (PLI 2000).

See the PLI 2000 web site for registration information.

To see the Program Committee and aims of the conference, see the Call-for-Papers.

Monday, 18 September 2000

8:45 - 9:45 Invited Speaker: Limsoon Wong (National University of Singapore), The Functional Guts of the Kleisli Query System
Chair: Philip Wadler

10:15 - 11:15 Session I
Chair: Shriram Krishnamurthi

• Regular Expression Types for XML
  Haruo Hosoya (University of Pennsylvania), Jérôme Vouillon (University of Pennsylvania), Benjamin Pierce (University of Pennsylvania)
• The Influence of Browsers on Evaluators
  Christian Queinnec (Université Paris 6)

11:30 - 12:30 Session II
Chair: Andrew Wright

• Static Enforcement of Security with Types
  Christian Skalka (Johns Hopkins University), Scott Smith (Johns Hopkins University)
• Information Flow Inference For Free
  François Pottier (INRIA), Sylvain Conchon (INRIA)

12:30 - 14:00 Lunch

14:00 - 15:30 Session III
Chair: Greg Morrisett

• Type-Safe Cast (Functional pearl)
  Stephanie Weirich (Cornell University)
• Typed Compilation of Inclusive Subtyping
  Karl Crary (Carnegie Mellon University)
• Fully Reflexive Intensional Type Analysis
  Valery Trifonov (Yale University), Bratin Saha (Yale University), Zhong Shao (Yale University)

16:00 - 17:30 Session IV
Chair: Atsushi Ohori

• More Types for Nested Data Parallel Programming
  Manuel Chakravarty (University of New South Wales), Gabriele Keller (University of Technology, Sydney)
• FranTk - A declarative GUI language for Haskell
  Meurig Sage (University of Glasgow)
• Functional Programming in C++
  Yannis Smaragdakis (Georgia Institute of Technology), Brian McNamara (Georgia Institute of Technology)

17:30 - 17:45 Program chair's report, plus a teaser

• Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design (I) (Functional pearl)
  Chris Okasaki (Columbia University)

19.00 - 20.30 Reception celebrating the 10th Anniversary Journal of Functional Programming

hosted by ICFP and Cambridge University Press.

Tuesday, 19 September 1999

8.45 - 9:45 Invited Speaker: Benjamin Pierce (University of Pennsylvania), Advanced Module Systems: A Guide for the Perplexed
Chair: Xavier Leroy

10:15 - 11:15 Session V
Chair: 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)

11:30 - 12:30 Session VI
Chair: 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)

12:30 - 14:00 Lunch

14:00 - 15:30 Session VII
Chair: 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
  Rowan Davies (Carnegie Mellon University), Frank Pfenning (Carnegie Mellon University)

16:00 - 17:30 Session VIII
Chair: 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)

17:30 - 18:00 Programming Contest Award Presentations
Chair: Greg Morrisett

Wednesday, 20 September 1999

8.45 - 9:45 Invited Speaker: Carl Seger (Intel), Combining Functional Programming and Hardware Verification
Chair: Andrew Wright

10:15 - 11:15 Session IX
Chair: 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)

11:30 - 12:30 Session X
Chair: Philip Wadler

• QuickCheck, A Lightweight Tool for Random Testing of Haskell Programs
  Koen Claessen (Chalmers University of Technology), 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), Julian Seward (Glasgow University)

19.00 - 22.00 PLI Conference Banquet at Marche Bonsecours