Sciweavers

ESOP
1994
Springer
14 years 3 months ago
Dimension Types
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
Andrew Kennedy
ESOP
1994
Springer
14 years 3 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
ESOP
1994
Springer
14 years 3 months ago
Compilation of Head and Strong Reduction
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...
Pascal Fradet
ESOP
1994
Springer
14 years 3 months ago
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration
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...
Torben Amtoft