Author:
Ancona Davide,Giannini Paola,Zucca Elena
Publisher
Open Publishing Association
Reference14 articles.
1. A Calculus of Module Systems;Ancona;Journal of Functional Programming,2002
2. A Fresh Calculus for Name Management;Ancona,2004
3. Dynamic Rebinding for Marshalling and Update, with Destruct-Time λ;Bierman,2003
4. A Lambda-Calculus for Dynamic Binding;Dami;Theoretical Computer Science,1997
5. The essence of static and dynamic bindings;Dezani-Ciancaglini,2009
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献