Alex Jeffery. Dependent object types with implicit functions. In Jonathan Immanuel Brachthäuser, Sukyoung Ryu, Nathaniel Nystrom, editors, Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019. pages 1-11, ACM, 2019. [doi]