Computing and Programming in Context - Special Issue published

All papers of the special issue on Computing and Programming in Context of the Philsophy and Technology journal are now available online! The special issue follows two HAPOC events, the fourth HaPoC conference, held in Brno, Czechia, in October 2017 and the fourth HaPoP symposium, held in Oxford, UK, in April 2018.

The special issue presents 7 papers that embody the interdisciplinary approach to studying computing and programming advocated by the HAPOC. They explore issues at the boundary between computing and philosophy, culture, formal logic, science, engineering and linguistics.

Tomas Petricek. Computing and Programming in Context—Introduction
https://link.springer.com/article/10.1007/s13347-020-00411-w

Brian Lennon. Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy
https://link.springer.com/article/10.1007/s13347-019-00387-2

Michael Castelle. Middleware’s Message: the Financial Technics of Codata
https://link.springer.com/article/10.1007/s13347-019-00379-2

Dale Miller. Reciprocal Influences Between Proof Theory and Logic Programming
https://link.springer.com/article/10.1007/s13347-019-00370-x

Felice Cardone. From Curry to Haskell
https://link.springer.com/article/10.1007/s13347-019-00385-4

Nicolas Fillion & Robert M. Corless. Concepts of Solution and the Finite Element Method: a Philosophical Take on Variational Crimes
https://link.springer.com/article/10.1007/s13347-019-00371-w

Juan M. Durán. A Formal Framework for Computer Simulations: Surveying the Historical Record and Finding Their Philosophical Roots
https://link.springer.com/article/10.1007/s13347-019-00388-1

Juan Luis Gastaldi. Why Can Computers Understand Natural Language? The Structuralist Image of Language Behind Word Embeddings
https://link.springer.com/article/10.1007/s13347-020-00393-9