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

No abstract is available for this paper.

• Publication year

  2015

• Venue

  Journal of Logic and Computation

• Publication date

  2015-08-01

• Fields of study

  Philosophy, Computer Science

• Identifiers
  DOI 10.1093/logcom/exs072
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Computer From Pascal To Von Neumann

  2016cited by this paper
• When Lightning Strikes

  2011cited by this paper
• Haskell before Haskell. Curry’s contribution to programming (1946–1950)

  2010cited by this paper
• Setting-up early computer programs: D. H. Lehmer’s ENIAC computation

  2010cited by this paper
• What Makes the History of Software Hard

  2008cited by this paper
• Interpreting Localized Computational Effects Using Operators of Higher Type

  2008cited by this paper
• A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC

  2008cited by this paper
• The second life of ENIAC

  2006cited by this paper
• The histories of computing(s)

  2005cited by this paper
• Jean J. Bartik (1924-) and Frances E. (Betty) Snyder Holberton interview: April 27, 1973

  1999cited by this paper
• Franz Alt interview: September 12, 1972

  1999cited by this paper
• A history of modern computing

  1999cited by this paper
• The Women of ENIAC

  1996cited by this paper
• The ENIAC, the Verb "to program" and the Emergence of Digital Computers

  1996cited by this paper
• John von Neumann and the origins of modern computing

  1990cited by this paper
• Preliminary discussion of the logical design of an electronic computing instrument (1946)

  1989cited by this paper
• The Theory of Algorithms

  1988cited by this paper
• The Principles of Large-Scale Computing Machines

  1981cited by this paper
• A History of the Sieve Process

  1980cited by this paper
• History of Computing in the Twentieth Century

  1980cited by this paper
• Some Remarks on the History of Computing in Germany

  1979cited by this paper
• Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

  1978influential reference
• The Early Development of Programming Languages.

  1977cited by this paper
• The computer is in

  1970cited by this paper
• Review: John McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

  1968cited by this paper
• Foundations of Mathematical Logic

  1964cited by this paper
• John von Neumann collected works

  1961cited by this paper
• Recursive functions of symbolic expressions and their computation by machine, Part I

  1960cited by this paper
• On the equivalence and transformation of program schemes

  1958cited by this paper
• Review: Alonzo Church, The Calculi of Lambda-Conversion

  1952cited by this paper
• A Logical Coding System Applied to the ENIAC

  1948cited by this paper
• Planning and coding of problems for an Electronic Computing Instrument

  1947cited by this paper
• The Eniac, an Electronic Computing Machine

  1946cited by this paper
• A STUDY OF INVERSE INTERPOLATION OF THE ENIAC

  1946cited by this paper
• Recursive predicates and quantifiers

  1943cited by this paper
• The combinatory foundations of mathematical logic

  1942cited by this paper
• The calculi of lambda-conversion

  1941cited by this paper
• On the use of dots as brackets in logical expressions

  1937cited by this paper
• Grundlagen der kombinatorischen Logik

  1930cited by this paper
• American Journal of Mathematics

  year unknowncited by this paper

• Logic, Programming, and Computer Science: Local Perspectives

  2021cites this paper
• German Encounters of Logic and Programming (1948–1958), Featuring Three Readings of Turing Machines

  2021cites this paper
• The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation

  2020cites this paper
• ‘A pretence of what is not’? A study of simulation(s) from the ENIAC perspective.

  2020cites this paper
• ‘A Pretence of What is Not’? A Study of Simulation(s) from the ENIAC Perspective

  2019cites this paper
• Less is more in the Fifties. Encounters between Logical Minimalism and Computer Design during the 1950s

  2019cites this paper
• Programming Systems: in Search of Historical and Philosophical Foundations

  2018cites this paper
• The Mathematical Origins of Modern Computing

  2018cites this paper
• Making the History of Computing. The History of Computing in the History of Technology and the History of Mathematics

  2018cites this paper
• Calculating Machines and numerical tables – a reciprocal history

  2016cites this paper
• Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract

  2016cites this paper
• Histories of algorithms: Past, present and future

  2016cites this paper
• A short history of small machines

  2016cites this paper
• Several Types of Types in Programming Languages

  2015cites this paper
• Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming

  2015cites this paper
• Computing Primes (1929-1949): Transformations in the Early Days of Digital Computing

  2015cites this paper
• When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science

  2015cites this paper
• The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics

  2014cites this paper