Tutorial: Data Structures, Types, and Abstractions | IEEE Journals & Magazine | IEEE Xplore