Implementation of a polymorphic typechecking system - Sufian Idris (Manchester : Faculty of Science , University of Manchester, 1990)
Thesis (M.Sc.) - University of Manchester, 1990
Keywords: Systems programming (Computer Science); Programming (Electronic computers)