Can I read Oliveira 等。 - 2012 - The implicit calculus a new foundation for generi on EtoBox?
Oliveira 等。 - 2012 - The implicit calculus a new foundation for generi by barryzhong is a document available to read on EtoBox.
What is Oliveira 等。 - 2012 - The implicit calculus a new foundation for generi about?
The document presents the implicit calculus, a formal model for implicit instantiation in generic programming, which allows for easier use of generic algorithms by automatically determining generic parameters. It highlights the limitations of existing mechanisms like type classes and concepts, and introduces a novel resolution mechanism that supports partial resolution and higher-order rules. The authors demonstrate how to build source languages on top of the implicit calculus, providing a foundation for la
- Author
- barryzhong
- Language
- EN