Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. Full abstraction in the lazy lambda calculus;Abramsky;Inform. Comput.,1993
2. Coordination Programming: Mechanisms, Models, Semantics,1996
3. M. Banville, Sonia: an adaptation of linda for coordination of activities in organizations, in: [9], pp. 57–74.
4. The Lambda-Calculus, its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics;Barendregt,1984
5. Inheritance as implicit coercion;Breazu-Tannen;Inform. Comput.,1991
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Incremental Rebinding with Name Polymorphism;Electronic Notes in Theoretical Computer Science;2016-04
2. Type safe incremental rebinding;Mathematical Structures in Computer Science;2015-05-15
3. A Meta Lambda Calculus with Cross-Level Computation;ACM SIGPLAN Notices;2015-05-11
4. A Meta Lambda Calculus with Cross-Level Computation;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14
5. Reconciling positional and nominal binding;Electronic Proceedings in Theoretical Computer Science;2013-07-30