POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specialization of lazy functional logic programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A unified computation model for functional and logic programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specialization of inductively sequential functional logic programs
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Journal of the ACM (JACM)
Using Static Analysis to Compile Non-sequential Functional Logic Programs
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Conditional narrowing without conditions
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Specialization of functional logic programs based on needed narrowing
Theory and Practice of Logic Programming
Demand analysis with partial predicates
Theory and Practice of Logic Programming
Termination of narrowing in left-linear constructor systems
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
KiCS2: a new compiler from Curry to Haskell
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Towards the uniform implementation of declarative languages
Computer Languages
Lazy narrowing with simplification
Computer Languages
Hi-index | 0.00 |