Simplicitly: foundations and applications of implicit function types

Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki. Simplicitly: foundations and applications of implicit function types. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]