@inproceedings{887739e1099a4eb1afbc6dd6b674a9b5,
title = "The role of types for programmers",
abstract = "The concept of type in computer science is intimately bound with the effort to create safe and expressive languages with which to write programs. We consider types from a programmer's point of view, focusing on how they aid a programmer's mental model of computation in a chosen domain. We also discuss how type systems offered by class-based object-oriented programming languages account for much of modern software success by facilitating code reuse.",
author = "Colburn, {Timothy R} and Gary Shute",
year = "2012",
month = dec,
day = "1",
language = "English (US)",
isbn = "9781908187178",
series = "AISB/IACAP World Congress 2012: Symposium on the History and Philosophy of Programming, Part of Alan Turing Year 2012",
booktitle = "AISB/IACAP World Congress 2012",
note = "AISB/IACAP World Congress 2012: Symposium on the History and Philosophy of Programming, Part of Alan Turing Year 2012 ; Conference date: 02-07-2012 Through 06-07-2012",
}