M. Arntzenius, and N. Krishnaswami. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, page 214--227. New York, NY, USA, ACM Press, (2016)
E. Czaplicki, and S. Chong. Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 411--422. New York, NY, USA, ACM, (2013)