Advanced flow-based type systems for object-oriented languages - CRACIUN MIHAI FLORIN GABRIEL (2010)
Ph.D