How Do Programmers Express High-Level Concepts using Primitive Data Types?

Yusuke Shinyama, Yoshitaka Arahori, Katsuhiko Gondow

Browse the full APSEC paper archive.