PLI 2001: Principles, Logics and Implementations of High-Level Programming Languages