Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation - Cartwright