Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). Oxford, United Kingdom. Proceedings of the forty fourth Annual ACM Symposium on the Principles of Programming Languages (POPL 2017). Paris, France. Proceedings of the forty third Annual ACM Symposium on the Principles of Programming Languages (POPL 2016). St. Petersburgh, Florida. POPL 2011). Austin, Texas, Usa.