Specialization of inductively sequential functional logic programs
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Using Static Analysis to Compile Non-sequential Functional Logic Programs
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Demand analysis with partial predicates
Theory and Practice of Logic Programming
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
KiCS2: a new compiler from Curry to Haskell
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Well-typed narrowing with extra variables in functional-logic programming
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Hi-index | 0.00 |