Pages that link to "Item:Q3465045"
From MaRDI portal
The following pages link to Haskell before Haskell: an alternative lesson in practical logics of the ENIAC (Q3465045):
Displayed 4 items.
- Book review of: J.-L. Chabert et al., Histoire d'algorithmes. Du caillou à la puce (Q309809) (← links)
- When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science (Q2963950) (← links)
- Types in Programming Languages, Between Modelling, Abstraction, and Correctness (Q3188252) (← links)
- The Mathematical Origins of Modern Computing (Q4972859) (← links)