183
click to vote
PEPM
15 years 10 months ago
1994 ACM 
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
168
click to vote
PEPM
15 years 10 months ago
1994 ACM 
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
156
Voted
PEPM
15 years 10 months ago
1994 ACM 
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
152
click to vote
PEPM
15 years 10 months ago
1994 ACM 
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples.We investigate the application of partial evaluati...
149
click to vote
PEPM
15 years 10 months ago
1994 ACM 
The performance of object-oriented languages can be greatly improved if methods can be specialized for particular classes of arguments. Such specialization can provide the compile...
|
Software Engineering