Typed PHP, Stronger Types for Cleaner Code 

Typed PHP, Stronger Types for Cleaner Code (2014)