11909 search results - page 167 / 2382 » The Scheme Programming Language |
154
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
153
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
182
click to vote
ACMSE
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
184
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Recently, there has been a growing interest in exploiting profile information in adaptive systems such as just-in-time compilers, dynamic optimizers and, binary translators. In th...
157
click to vote
PARLE
1992
15 years 10 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...