Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
ACM Digital Library