Explaining polymorphic types (2002)

by J YANG, G Michaelson, P Trinder
Venue:Computer Journal