Implementation of a polymorphic typechecking system - Sufian Idris (Faculty of Science , University of Manchester, 1990)