- Salvador Lucas:
Context-sensitive Computations in Functional and Functional Logic Programs.
- Peter J. Stuckey, Vincent W. L. Tam:
Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming.
- Juliana Freire, Terrance Swift, David Scott Warren:
Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling.
- Heinz Faßbender, Sebastian Maneth:
A Strict Border for the Decidability of E-Unification for Recursive Functions.
- Fairouz Kamareddine, Alejandro Ríos, J. B. Wells:
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions.
- Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh:
Improved Register Usage for Functional Programs through Multiple Function Versions.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.