Type and metaphor for computer programmers

Timothy Colburn, Gary Shute

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


The duality of computer programs is characterized, on the one hand, by their physical implementations on physical devices, and, on the other, by the conceptual implementations in programmers' minds of the objects making up the computational processes they conceive. We contend that central to programmers' conceptual implementations are (i) the concept of type, at both the programming and the design level, and (ii) metaphors created to facilitate these implementations.

Original languageEnglish (US)
Pages (from-to)71-105
Number of pages35
JournalTechne: Research in Philosophy and Technology
Issue number1
StatePublished - 2017

Bibliographical note

Publisher Copyright:
© 2017 Philosophy Documentation Center. All rights reserved.


  • Metaphor
  • Philosophy of computer science
  • Programming
  • Type


Dive into the research topics of 'Type and metaphor for computer programmers'. Together they form a unique fingerprint.

Cite this