You are about to access our book library "Conference Record of the Sixteenth Annual Acm Symposium on Principles of Programming Languages: Papers Presented at the Symposium Austin, Texas Janu full version" .