154
click to vote
PPDP
15 years 8 months ago
2004 Springer 
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
142
click to vote
PPDP
15 years 8 months ago
2004 Springer 
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...
138
click to vote
PPDP
15 years 8 months ago
2004 Springer 
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
138
click to vote
PPDP
15 years 8 months ago
2004 Springer 
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
135
click to vote
PPDP
15 years 8 months ago
2004 Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
|
Programming Languages