When to make a type [programming] | IEEE Journals & Magazine | IEEE Xplore