133
click to vote
ESOP
15 years 4 months ago
1994 Springer 
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
116
Voted
ESOP
15 years 4 months ago
1994 Springer 
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
107
click to vote
ESOP
15 years 4 months ago
1994 Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
79
Voted
ESOP
15 years 4 months ago
1994 Springer  |
Programming Languages