Improvement in a lazy context: an operational theory for call-by-need
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Calculus for Link-Time Compilation
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Equational Reasoning for Linking with First-Class Primitive Modules
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Journal of Functional Programming
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
A calculus of open modules: call-by-need strategy and confluence
Mathematical Structures in Computer Science
A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science
Towards a Sharing Strategy for the Graph Rewriting Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
Electronic Notes in Theoretical Computer Science (ENTCS)
Safety of nöcker's strictness analysis
Journal of Functional Programming
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Applications of infinitary lambda calculus
Information and Computation
A Rewriting Calculus for Cyclic Higher-order Term Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
A Calculus for Reconfiguration
Electronic Notes in Theoretical Computer Science (ENTCS)
Diagrams for meaning preservation
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Correctness of copy in calculi with letrec
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
The graph rewriting calculus: confluence and expressiveness
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Skew and ω-skew confluence and abstract Böhm semantics
Processes, Terms and Cycles
Sharing in the graph rewriting calculus
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |