These are the refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000. Among the topics covered are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, abstract machine architectures, array processing, concurrent and parallel processing, heap management, runtime profiling, performance measurement, de-bugging and tracing, and tools and programming techniques.