142
click to vote
PPDP
15 years 7 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 ...
133
click to vote
PPDP
15 years 7 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 ...
129
Voted
PPDP
15 years 7 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 ...
127
Voted
PPDP
15 years 7 months ago
2004 Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
126
click to vote
PPDP
15 years 7 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...
|
Programming Languages