Author:
Bugliesi Michele,Castagna Giuseppe,Crafa Silvia
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.
2. V. Bono and M. Bugliesi. Matching for the Lambda Calculus of Objects. Theoretical Computer Science, 212(1/2):101–140, Feb. 1999.
3. M. Bugliesi and G. Castagna. Mobile objects. In 7th Workshop on Foundation of Object-Oriented Languages, Boston, 2000. Electronic Proceedings.
4. Lect Notes Comput Sci;M. Bugliesi,2000
5. B. Bruce, K. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 1(4):127–206, 1994.