The 28th Annual
ACM
SIGPLAN
-
SIGACT
Symposium on
Principles of Programming Languages
London
, 17-19 January, 2001
