Skip to content
Commission for the History and Philosophy of Computing

Commission for the History and Philosophy of Computing

  • Home
  • The Commission
    • History of HaPoC
    • Statement
    • The Council
    • Bylaws (amended 2021)
    • The Manchester Manifesto
    • Contact us
    • Minutes of HAPOC General Assemblies
  • HaPoC Conference Series
    • HaPoC1
    • HaPoC2
    • HaPoC3
    • HaPoC4
    • HaPoC5
    • HaPoC 6
    • HaPoC7
  • HaPoP Symposium Series
    • HaPoP1
    • HaPoP2
    • HaPoP3
    • HaPoP4
    • HaPoP5
  • HaPoC Publications
  • News

Category: Publications

Posted on 18 November 2013

Honesty, Competence, and Trust for Systems Design

G. Primiero, “Honesty, Competence, and Trust for Systems Design”, Philosophy & Technology, pp. 1-5, 2013. http://dx.doi.org/10.1007/s13347-013-0116-9

Posted on 18 November 2013

The Philosophy of Computer Science

R. Turner, “The Philosophy of Computer Science”, in The Stanford Encyclopedia of Philosophy, Fall 2013th ed., E. N. Zalta 2013.

Posted on 18 November 2013

Mechanistic Miscomputation: a Reply to Fresco and Primiero

J. Dewhurst, “Mechanistic Miscomputation: a Reply to Fresco and Primiero”, Philosophy & Technology, pp. 1-4, 2013. http://dx.doi.org/10.1007/s13347-013-0141-8

Posted on 12 November 2013

From Ancient to Modern Computing: A History of Information Hiding

F. Gobbo and Benini, M., “From Ancient to Modern Computing: A History of Information Hiding”, IEEE Annals of the History of Computing, vol. 35, no. 3, 2013.

Posted on 12 November 2013

Alan Turing: His Work and Impact

B. S. Cooper and van Leeuwen, J., Alan Turing: His Work and Impact . Elsevier Science, 2013.

Posted on 12 November 2013

The Dawn of Software Engineering: from Turing to Dijkstra

E. G. Daylight, The Dawn of Software Engineering: from Turing to Dijkstra. Lonely Scholar, 2012.

Posted on 12 November 2013

Haskell before Haskell: an alternative lesson in practical logics of the ENIAC

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.

Posted on 7 November 2013

Programming Languages as Technical Artifacts

R. Turner, “Programming Languages as Technical Artifacts”, Philosophy & Technology, pp. 1-21, 2013. http://dx.doi.org/10.1007/s13347-012-0098-z

Posted on 7 November 2013

Computing and Experiments

V. Schiaffonati and Verdicchio, M., “Computing and Experiments”, Philosophy & Technology, pp. 1-18, 2013. http://dx.doi.org/10.1007/s13347-013-0126-7

Posted on 7 November 2013

Miscomputation

N. Fresco and Primiero, G., “Miscomputation”, Philosophy & Technology, vol. 26, pp. 253-272, 2013. http://dx.doi.org/10.1007/s13347-013-0112-0

Posts navigation

Previous page Page 1 … Page 7 Page 8 Page 9 Next page

Articles récents

  • In Memoriam of Martin and Virginia Davis
  • Call for Symposia: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology – CLMPST 2023
  • Grants for externally organised Events 2020
  • First CfP HaPoP-5, 27 may 2020, Paris
  • HaPoC5: Special Issue

Commentaires récents

No comments to show.
Proudly powered by WordPress