Author:
Bono Viviana,Damiani Ferruccio,Giannini Paola
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. A Theory of Objects;Abadi,1996
2. Matching for the Lambda Calculus of Objects;Bono;Theoretical Computer Science,1999
3. V. Bono and K. Fisher. An Imperative, First-Order Calculus with Object Extension. In Proc. of ECOOP'98, volume 1445 of LNCS, pages 462–497, 1998. A preliminary version already appeared in Proc. of 5th Annual FOOL Workshop.
4. C. Calcagno, E. Moggi, and T. Sheard. Closed Types for a Safe Imperative MetaML. Journal of Functional Programming, TO APPEAR.
5. The DART project home page. Availble at http://www.disi.unige.it/project/dart/.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Alias types for “environment-aware” computations;Electronic Notes in Theoretical Computer Science;2003-10