Text this: Advanced flow-based type systems for object-oriented languages

 __   __    ______    _____    __   __   __   __  
 \ \\/ //  /_   _//  |__  //   \ \\/ //  \ \\/ // 
  \   //    -| ||-     / //     \ ` //    \   //  
  / . \\    _| ||_    / //__     | ||     / . \\  
 /_//\_\\  /_____//  /_____||    |_||    /_//\_\\ 
 `-`  --`  `-----`   `-----`     `-`'    `-`  --`