, “The Philosophy of Computer Science”, in The Stanford Encyclopedia of Philosophy, Fall 2013th ed., 2013.
Honesty, Competence, and Trust for Systems Design
, “Honesty, Competence, and Trust for Systems Design”, Philosophy & Technology, pp. 1-5, 2013. http://dx.doi.org/10.1007/s13347-013-0116-9
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
, “Haskell before Haskell: an alternative lesson in practical logics of the ENIAC”, Journal of Logic and Computation. In Press.
The Dawn of Software Engineering: from Turing to Dijkstra
, The Dawn of Software Engineering: from Turing to Dijkstra. Lonely Scholar, 2012.
Alan Turing: His Work and Impact
, Alan Turing: His Work and Impact . Elsevier Science, 2013.
From Ancient to Modern Computing: A History of Information Hiding
, “From Ancient to Modern Computing: A History of Information Hiding”, IEEE Annals of the History of Computing, vol. 35, no. 3, 2013.
Pictures and Recordings from HaPoC 2013
Computing and Experiments
, “Computing and Experiments”, Philosophy & Technology, pp. 1-18, 2013. http://dx.doi.org/10.1007/s13347-013-0126-7
Programming Languages as Technical Artifacts
, “Programming Languages as Technical Artifacts”, Philosophy & Technology, pp. 1-21, 2013. http://dx.doi.org/10.1007/s13347-012-0098-z
The Minimal Levels of Abstraction in the History of Modern Computing
, “The Minimal Levels of Abstraction in the History of Modern Computing”, Philosophy & Technology, pp. 1-17, 2013. http://dx.doi.org/10.1007/s13347-012-0097-0