G. Cooper, and S. Krishnamurthi. Programming Languages and Systems, volume 3924 of Lecture Notes in Computer Science, page 294--308. Berlin, Heidelberg, Springer, (2006)
V. Capretta, G. Hutton, and M. Jaskelioff. Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016, page 1--13. ACM Press, (2016)
J. Gibbons, and G. Jones. Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98, page 273--279. New York, ACM Press, (1998)
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)
N. Oury, and W. Swierstra. Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08, page 39--50. New York, ACM Press, (2008)
E. de Vries, and A. Löh. Proceedings of the 10th ACM SIGPLAN workshop on Generic programming - WGP '14, page 83--94. New York, NY, USA, ACM Press, (2014)