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)
Z. Wan, and P. Hudak. Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00, 35, page 242--252. New York, NY, USA, ACM Press, (May 2000)
C. Elliott, and P. Hudak. Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97, volume 32 of ICFP '97, page 263--273. New York, NY, USA, ACM Press, (August 1997)
P. Grant, J. Sharp, M. Webster, and X. Zhang. Proceedings of the conference on Functional programming languages and computer architecture, page 12--17. New York, NY, USA, ACM, (1993)
S. Mazanek, and M. Minas. Implementation and Application of Functional Languages, volume 5083 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)
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)