M. Arntzenius, и N. Krishnaswami. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, стр. 214--227. New York, NY, USA, ACM Press, (2016)
V. Capretta, G. Hutton, и M. Jaskelioff. Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016, стр. 1--13. ACM Press, (2016)
E. de Vries, и A. Löh. Proceedings of the 10th ACM SIGPLAN workshop on Generic programming - WGP '14, стр. 83--94. New York, NY, USA, ACM Press, (2014)