Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: How to be correct, lazy and efficient ?   This paper is an introduction to Lambdix, a lazy Lisp interpreter implemented
at the Research Laboratory of Paris XI University (Laboratoire de Recherche en
Informatique, Orsay). Lambdix was devised in the course of an investigation
into the relationship between the semantics of programming languages and their
implementation; it was used to demonstrate that in the Lisp domain, semantic
correctness is consistent with efficiency, contrary to what has often been
claimed. The first part of the paper is an overview of well-known semantic
difficulties encountered by Lisp as well as an informal presentation of
Lambdix; it is shown that the difficulties which Lisp encouters do not arise in
Lambdix. The second part is about efficiency in implementation models. It
explains why Lambdix is better suited for lazy evaluation than previous models.
The section ends by giving comparative execution time tables.

17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg