Enriching the lambda calculus with contexts: toward a theory of incremental program construction
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Theoretical Computer Science
Journal of Automated Reasoning
Higher-Order and Symbolic Computation
UPSILON: universal programming system with incomplete lazy object notation
Fundamenta Informaticae
A Simply Typed Context Calculus with First-Class Environments
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Descendants and Head Normalization of Higher-Order Rewrite Systems
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Theory of Judgments and Derivations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
A framework for studying substitution
Acta Cybernetica
A framework for program development based on schematic proof
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A foundation for actor computation
Journal of Functional Programming
An initial algebra approach to term rewriting systems with variable binders
Higher-Order and Symbolic Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
Fundamenta Informaticae
| Hi-index | 5.23 |