Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Generating Code with Polymorphic let: A Ballad of Value Restriction,
  Copying and Sharing   Getting polymorphism and effects such as mutation to live together in the
same language is a tale worth telling, under the recurring refrain of copying
vs. sharing. We add new stanzas to the tale, about the ordeal to generate code
with polymorphism and effects, and be sure it type-checks. Generating
well-typed-by-construction polymorphic let-expressions is impossible in the
Hindley-Milner type system: even the author believed that.
  The polymorphic-let generator turns out to exist. We present its derivation
and the application for the lightweight implementation of quotation via a novel
and unexpectedly simple source-to-source transformation to code-generating
combinators.
  However, generating let-expressions with polymorphic functions demands more
than even the relaxed value restriction can deliver. We need a new deal for
let-polymorphism in ML. We conjecture the weaker restriction and implement it
in a practically-useful code-generation library. Its formal justification is
formulated as the research program.

31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn