ICFP
1998
ACM
14 years 2 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
ICFP
1998
ACM
14 years 2 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
ICFP
1998
ACM
14 years 2 months ago
1998
ACM
ICFP
1998
ACM
14 years 2 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
ICFP
1998
ACM
14 years 2 months ago
1998
ACM
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Lang...
ICFP
1998
ACM
14 years 2 months ago
1998
ACM
ASPLOS
1998
ACM
14 years 2 months ago
1998
ACM
Database applications such as online transaction processing (OLTP) and decision support systems (DSS) constitute the largest and fastest-growing segment of the market for multipro...
ASPLOS
1998
ACM
14 years 2 months ago
1998
ACM
Advances in VLSI technology will enable chips with over a billion transistors within the next decade. Unfortunately, the centralized-resource architectures of modern microprocesso...
ASPLOS
1998
ACM
14 years 2 months ago
1998
ACM
Dynamic storage allocation has become increasingly important in many applications, in part due to the use of the object-oriented paradigm. At the same time, processor speeds are i...
ASPLOS
1998
ACM
14 years 2 months ago
1998
ACM
Our new out-of-order processor simulator, FastSim, uses two innovations to speed up simulation 8–15 times (vs. Wisconsin SimpleScalar) with no loss in simulation accuracy. First...