11909 search results - page 233 / 2382 » The Scheme Programming Language |
175
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
148
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...