Giuseppe Castagna

• ECOOP 2013 -- Object-Oriented Programming
• ECOOP 2013 – Object-Oriented Programming
• Object-oriented programming
• Object-Oriented Programming A Unified Foundation
• Programming Languages and Systems
• Behavioral Types in Programming Languages
• Leicester D'Italia
• Montesilvano
• Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages