, “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
What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability
, “What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability”, Philosophy & Technology, pp. 1-23, 2013. http://dx.doi.org/10.1007/s13347-012-0095-2
Miscomputation
, “Miscomputation”, Philosophy & Technology, vol. 26, pp. 253-272, 2013. http://dx.doi.org/10.1007/s13347-013-0112-0