Computing with Equations
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:PGIQ7HRRrecord.jsonopen to challenge →
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.