Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hygienic Source-Code Generation Using Functors   Existing source-code-generating tools such as Lex and Yacc suffer from
practical inconveniences because they use disembodied code to implement
actions. To prevent this problem, such tools could generate closed functors
that are then instantiated by the programmer with appropriate action code. This
results in all code being type checked in its appropriate context, and it
assists the type checker in localizing errors correctly. We have implemented a
lexer generator and parser generator based on this technique for Standard ML,
OCaml, and Haskell.

9
The categories of this paper are: nlin
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas