Implementation of an OCaml stepper that reconstructs programs at each step by tracking evaluation contexts, supporting effects and including student feedback on educational value.
Friedman (1986): Control operators, the SECD-machine, and the λ -calculus
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Stepping OCaml
Implementation of an OCaml stepper that reconstructs programs at each step by tracking evaluation contexts, supporting effects and including student feedback on educational value.