Nothing Special   »   [go: up one dir, main page]

×
Please click here if you are not redirected within a few seconds.
This paper describes a generalization of implicit parameters to implicit function types, a powerful way to abstract over the context in which some piece of code ...
This paper describes a generalization of implicit parameters to implicit function types, a powerful way to abstract over the context in which some piece of code ...
Simplicitly: Foundations and Applications of Implicit Function Types. Proc. ACM Program. Lang. 2, POPL,. Article 42 (January 2018), 29 pages. https://doi.org ...
This paper describes a generalization of implicit parameters to implicit function types, a powerful way to abstract over the context in which some piece of code ...
Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts.
This paper describes a generalization of implicit parameters to implicit function types, a powerful way to abstract over the context in which some piece of code ...
The SONAR project aims to create a scholarly archive that collects, promotes and preserves the publications of authors affiliated with Swiss public research ...
People also ask
Simplicitly - My talk about implicit function types at POPL 2018: youtube.com. Simplicitly: Foundations and Applications of Implicit FunctionTypes.
Simplicitly: Foundations and applications of implicit function types. M Odersky, O Blanvillain, F Liu, A Biboudis, H Miller, S Stucki. Proceedings of the ACM on ...
Simplicitly: foundations and applications of implicit function types. In Proceedings of the ACM on Programming Languages, 2(POPL), 1–29. 2017. , Open Access ...