Publications

of D. Vytiniotis

Articles in journal, book chapters

  1. D. Vytiniotis, S.P. Jones, T. Schrijvers, and M. Sulzmann. OutsideIn (X) Modular type inference with local assumptions. 2010.

BACK TO INDEX