The 2000 International Conference on Functional Programming (ICFP)

Montreal, Canada
18-20 September 2000

associated with
PLI 2000: Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages

Welcome to the ICFP 2000 home page! Here you will find links to the latest information on the conference, including workshops and registration.

ICFP 2000 provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.

Conference Activities

  • Call for Papers (expired)
  • Conference Program
  • The ICFP Programming Contest (mirror)
  • Conference and Hotel Registration
  • Travel Information
  • Colocated Workshops

  • Haskell Workshop
  • High-Level Concurrent Languages (HLCL)
  • Higher Order Operational Techniques in Semantics (HOOTS)
  • Semantics, Applications and Implementation of Program Generation (SAIG)
  • Scheme Workshop
  • Types in Compilation (TIC)
  • Additional Conference Information


    ICFP 2000 is origanized by ACM SIGPLAN.

    with sponsorship from

    Compaq Cambridge University Press


    Lucent Technologies Microsoft-Research

    Sun Microsystems Université de Montréal

    ICFP'2000 Information / Martin Odersky
    Last modified: Mon Aug 28 13:22:47 DST 2000