Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: From Theory to Systems: A Grounded Approach to Programming Language
  Education   I present a new approach to teaching a graduate-level programming languages
course focused on using systems programming ideas and languages like
WebAssembly and Rust to motivate PL theory. Drawing on students' prior
experience with low-level languages, the course shows how type systems and PL
theory are used to avoid tricky real-world errors that students encounter in
practice. I reflect on the curricular design and lessons learned from two years
of teaching at Stanford, showing that integrating systems ideas can provide
students a more grounded and enjoyable education in programming languages. The
curriculum, course notes, and assignments are freely available:
http://cs242.stanford.edu/f18/

25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph