Theoretical Computer Science
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
A Simply Typed Context Calculus with First-Class Environments
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Theory of Judgments and Derivations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
From dynamic binding to state via modal possibility
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Dynamic rebinding for marshalling and update, with destruct-time ?
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Classboxes: an experiment in modeling compositional abstractions using explicit contexts
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
ACM Transactions on Computational Logic (TOCL)
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Journal of Functional Programming
The lambda-context calculus (extended version)
Information and Computation
Growing a language: the GLoo perspective
SC'08 Proceedings of the 7th international conference on Software composition
SC'05 Proceedings of the 4th international conference on Software Composition
GLoo: a framework for modeling and reasoning about component-oriented language abstractions
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Hi-index | 0.00 |