Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Stepping OCaml   Steppers, which display all the reduction steps of a given program, are a
novice-friendly tool for understanding program behavior. Unfortunately,
steppers are not as popular as they ought to be; indeed, the tool is only
available in the pedagogical languages of the DrRacket programming environment.
  We present a stepper for a practical fragment of OCaml. Similarly to the
DrRacket stepper, we keep track of evaluation contexts in order to reconstruct
the whole program at each reduction step. The difference is that we support
effectful constructs, such as exception handling and printing primitives,
allowing the stepper to assist a wider range of users. In this paper, we
describe the implementation of the stepper, share the feedback from our
students, and show an attempt at assessing the educational impact of our
stepper.

18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con