Type inference in type-based verification Dimitrios Vytiniotis, Microsoft Research [email protected] May 2010.