Computing with Equations
classification
💻 cs.PL
keywords
languagesaccountbelievecomputingequationsexplainfunctionalgive
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.