Principles of programming languages POPL '00: The 27th ACM SIGPLAN-SIGACT Symposium. Boston, Massachusetts 19-21 January 2000 (ACM, 2000)