Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages
ACM Digital Library