Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Second Workshop on Trends in Functional Programming In
  Education   The Second International Workshop on Trends in Functional Programming in
Education, TFPIE 2013, was held on May 13, 2013 at Brigham Young University in
Provo, Utah, USA. The goal of TFPIE is to gather researchers, professors,
teachers, and all professionals interested in functional programming in
education. Submissions were vetted by the TFPIE 2013 program committee using
prevailing academic standards. The 2 articles in this volume were selected for
publication as the result of this process. Tobin-Hochstadt and Van Horn report
on their solution to the difficult transition between the first semester course
in functional programming (using languages, programming environment, etc.
intended for teaching) to the second semester course in object-oriented
programming (with a production-oriented language, environment, etc.). Finding
that this confusing circumstance made the key concepts hard to grasp for
students, the authors present and evaluate a new introduction to the second
semester course, based on the environment and languages the students used
before, that focusses on key object-oriented concepts. Caldwell lays out an
education narrative that focusses on reasoning about programs, using structural
induction principles. He argues that more such formal reasoning should get more
emphasis in programming education and demonstrates the feasibility thereof by
reporting on his experiences using this narrative in the functional programming
course at the University of Wyoming.

36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn