Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Well-typed Islands Parse Faster   This paper addresses the problem of specifying and parsing the syntax of
domain-specific languages (DSLs) in a modular, user-friendly way. That is, we
want to enable the design of composable DSLs that combine the natural syntax of
external DSLs with the easy implementation of internal DSLs. The challenge in
parsing composable DSLs is that the composition of several (individually
unambiguous) languages is likely to contain ambiguities. In this paper, we
present the design of a system that uses a type-oriented variant of island
parsing to efficiently parse the syntax of composable DSLs. In particular, we
show how type-oriented island parsing is constant time with respect to the
number of DSLs imported. We also show how to use our tool to implement DSLs on
top of a host language such as Typed Racket.

26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph