Document Preview
  • Full Text
  • Dissertation or Thesis

Type inference and unification: Formal and informal proofs in and around Wand's algorithm

. 
 University of Wyoming ProQuest Dissertations & Theses,  2011. 3454019.