Giuseppe Castagna

2 books • 2 series

Jul 21, 2016
Cover of Behavioral Types in Programming Languages

Behavioral Types in Programming Languages (Foundations and Trends (R) in Programming Languages)

26 Sep 2011
Cover of Object-Oriented Programming A Unified Foundation

Object-Oriented Programming A Unified Foundation (Progress in Theoretical Computer Science)