Welcome to the ICFP 2001 home page! Here you will find links to the latest information on the conference, including workshops and registration.
ICFP 2001 is over, and was quite successful. You might be interested in the next edition: ICFP 2002, part of the PLI 2002 extravaganza!
ICFP 2001 is part of PLI 2001: Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages.
The ICFP conference 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 functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages.
PPDP: Principles and Practice of Declarative Programming
BABEL: Multilanguage Infrastructure and Interoperability
FICS: Fixed Points in Computer Science
QAPL: Quantitative Aspects of Programming Languages
RULE: Rule-Based Programming
SAIG: Semantics, Applications, and Implementation of Program Generation
SCHEME: Scheme and Functional Programming
VCL: Verification and Computational Logic
Contact Web Administrator - Last modified: