Biblio

Found 72 results
In Press
L. De Mol, Carlé, M., and Bullynck, M., “Haskell before Haskell: an alternative lesson in practical logics of the ENIAC”, Journal of Logic and Computation. In Press.
M. Bullynck, Daylight, E., and De Mol, L., “Why Did Computer Science Make a Hero out of Turing?”, Communications of the ACM, In Press.
2018
N. Angius and Primiero, G., “The logic of identity and copy for computational artefacts”, Journal of Logic and Computation, 2018.
2017
M. Priestley, “AI and the Origins of the Functional Programming Language Style”, Minds and Machines, vol. 27, pp. 449–472, 2017.
J. Copeland and Long, J., “Alan Turing: How His Universal Machine Became a Musical Instrument”, IEEE Spectrum, 2017.
G. Primiero, “Algorithmic Iteration for Computational Intelligence”, Minds and Machines, pp. 1–23, 2017.
Lde Almedia Pereira and Vianna, M., Dimensoes da Historia e da Memoria da Informatica no Brasil (in Portuguese). Jundiai - SP: Paco Editorial, 2017.
R. Vahrenkamp, “The First Information Explosion. The Role of Punch Card Technology in the Office Rationalization in Germany, 1910-1939”, Zeitschrift für Technikgeschichte, vol. 84, no. 3, 2017.
F. Cardone, “Games, Full Abstraction and Full Completeness”, in The Stanford Encyclopedia of Philosophy, Spring 2017th ed., E. N. Zalta Metaphysics Research Lab, Stanford University, 2017.
T. Petricek, “Miscomputation in software: Learning to live with errors”, The Art, Science, and Engineering of Programming, vol. 1, no. 2, 2017.
E. A. Lee, Plato and the Nerd, 1st ed. MIT Press, 2017.
L. Corry, “Turing's Pre-war Analog Computers: The Fatherhood of the Modern Computer Revisited”, Commun. ACM, vol. 60, pp. 50–58, 2017.
M. Y. Vardi, “Would Turing Have Won the Turing Award?”, Commun. ACM, vol. 60, pp. 7–7, 2017.
2016
B. Löwe, “ Barry Cooper (1943–2015): The engine of Computability in Europe ”, Computability, vol. 5, no. 1, pp. 3-11, 2016.
R. Hill, “A Call for More Philosophy in the Philosophy of Computer Science”, Newsletter on Philosophy and Computers, vol. 15, no. 2, 2016.
R. K. Hill, “Does Nature Use Data?”, Communications of the ACM, 2016.
T. Haigh, Priestley, M., and Rope, C., ENIAC in Action: Making and Remaking the Modern Computer. The MIT Press, 2016.
F. Gadducci and Tavosanis, M., History and Philosophy of Computing -- Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers, vol. 487. Springer, 2016.
G. Primiero, “Information in the Philosophy of Computer Science”, in The Routledge Handbook of Philosophy of Information, London and New York: Routledge, 2016.
J. Joque, “The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages”, Philosophy {&} Technology, vol. 29, pp. 335–356, 2016.
M. Tedre and Denning, P. J., “The Long Quest for Computational Thinking”, in Proceedings of the 16th Koli Calling Conference on Computing Education Research,, 2016.
M. Szabo, “The M-3 in Budapest and Szeged”, Proceedings of the IEEE, vol. 104, no. 10, pp. 2062-2069, 2016.
R. K. Hill, “What Makes a Program Elegant?”, [email protected], 2016. [Online]. Available: http://cacm.acm.org/blogs/blog-cacm/208547-what-makes-a-program-elegant/fulltext.
2015
F. Cardone, “Continuity in Semantic Theories of Programming”, History and Philosophy of Logic, pp. 1-20, 2015.
E. G. Daylight, “From mathematical logic to programming-language semantics: a discussion with Tony Hoare”, Journal of Logic and Computation, vol. 25, pp. 1091-1110, 2015.

Pages