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
    • HaPoP 6
  • HaPoC Publications
  • News
Posted on 24 July 2015 by Giuseppe Primiero

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, vol. 25, pp. 1011-1046, 2015. http://dx.doi.org/10.1093/logcom/exs072

CategoriesPublications

Post navigation

Previous PostPrevious Organisers for HaPoC Special Session at CiE 2016
Next PostNext Kalmar and Peter: Undecidability as a Consequence of Incompleteness

Articles récents

  • Working Group on Data Sharing
  • Next HaPoP in Cambridge, October 25 !
  • HAPOC goes to Japan !
  • In Memoriam of Martin and Virginia Davis
  • Call for Symposia: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology – CLMPST 2023

Commentaires récents

No comments to show.
Proudly powered by WordPress