Lambda lifting: transforming programs to recursive equations
Proc. of a conference on Functional programming languages and computer architecture
Detection and optimization of functional computations in Prolog
Proceedings on Third international conference on logic programming
Improving the execution speed of compiled prolog with modes, clause selection, and determinism
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the Second European Symposium on Programming
A type system for logic program
Journal of Logic Programming
Towards lazy evaluation, sharing, and non-determinism in resolution based functional logic languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Encapsulated search for higher-order concurrent constraint programming
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Dynamic detection of determinism in functional logic languages
PLILP '91 Selected papers of the symposium on Programming language implementation and logic programming
Integration of functional and logic programming
ACM Computing Surveys (CSUR)
Structuring graphical paradigms in TkGofer
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
ACM Computing Surveys (CSUR)
A unified computation model for functional and logic programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-based analysis of uncaught exceptions
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling search in functional logic programs
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Herbrand constraint solving in HAL
Proceedings of the 1999 international conference on Logic programming
Principles of Program Analysis
Principles of Program Analysis
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Rewriting Logic for Declarative Programming
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Distributed Programming in a Multi-Paradigm Declarative Language
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Towards a Framework for the Abstract Interpretation of Logic Programs
PLILP '88 Proceedings of the 1st International Workshop on Programming Language Implementation and Logic Programming
Higher-order narrowing with definitional trees
Journal of Functional Programming
A generic analysis environment for declarative programs
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Nondeterminism analysis of functional logic programs
ICLP'05 Proceedings of the 21st international conference on 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 |