Ben Zorn

Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation