Popl 97: 24th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages