Author:
Dezani-Ciancaglini Mariangiola,Giannini Paola,Zucca Elena
Subject
Computer Science Applications,General Mathematics,Software
Reference10 articles.
1. A Parametric Calculus for Mobile Open Code
2. G. Bierman, M.W. Hicks, P. Sewell, G. Stoyle and K. Wansbrough, Dynamic rebinding for marshalling and update, with destruct-time $\lambda$, inICFP'03. ACM Press (2003), 99–110.
3. A lambda-calculus for dynamic binding
4. M. Dezani-Ciancaglini, P. Giannini and O. Nierstrasz, A calculus of evolving objects.Scientific Annals of Computer Science(2008) 63–98.
5. M. Dezani-Ciancaglini, P. Giannini and E. Zucca, Intersection types for unbind and rebind, inITRS'10. Electronic Proceedings in Theoretical Computer Science45(2010) 45–59.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. IAIDO: A Framework for Implementing Integrity-Aware Intelligent Data Objects;Data Science – Analytics and Applications;2022
2. Incremental Rebinding with Name Polymorphism;Electronic Notes in Theoretical Computer Science;2016-04
3. Type safe incremental rebinding;Mathematical Structures in Computer Science;2015-05-15
4. Reconciling positional and nominal binding;Electronic Proceedings in Theoretical Computer Science;2013-07-30