Typing Polymorphic Relational Operators: Extending a Functional Language Core wi
41,66 €
For this purpose, we propose a record calculus as an extension of an ML-style functional programming language core that is powerful enough to allow type inference for user-defined polymorphic relational operators.
Jetzt bei Ebay:
