Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ACM Digital Library