Computing with Equations

2010/08/06 by Preston, Chris
#FOS: Computer and information sciences #Programming Languages (cs.PL)

paper · doi:10.48550/arxiv.1008.1131

Abstract

The intention of these notes is to give a mathematical account of how I believe students could be taught to think about functional programming languages and to explain how such languages work.

Related

• A new course `Algebra + Computer Science': What should be its outcomes and where it should start
• Can programming be liberated from the von Neumann style?
• Functional Analysis
• Paramathematical notions and Klein's Plan B: the case of equations
• Fundamentals of Computing