Twentieth annual ACM SIGPLAN-SIGACT, symposium on Principles of Programming Languages, papers presented at the symposium held in Charleston, South Carolina, January 10-13, 1993. - Association for computing machinery Press, 1993. - ( ACM SIGPLAN Notices ).