P. Curien, and H. elin. Proceedings of the Fifth ACM SIGP LAN International Conference on Functional Programming (ICFP ' 00), Montreal, Canada, September 18-21, 2000, page 233-243. ACM, (2000)
F. Branchaud-Charron, A. Achkar, and P. Jodoin. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, page 3215--3224. (2019)