Document Preview
  • Full Text
  • Dissertation or Thesis

Practical type inference for the GADT type system

. 
 Portland State University ProQuest Dissertations & Theses,  2010. 3419844.