TY - BOOK AU - Sufian Idris TI - Implementation of a polymorphic typechecking system PY - 1990/// CY - Manchester PB - Faculty of Science , University of Manchester KW - Systems programming (Computer Science) KW - Programming (Electronic computers) N1 - Thesis (M.Sc.) - University of Manchester, 1990 ER -