Proceedings of the international conference on Applied programming languages
ACM Digital Library