12 search results - page 2 / 3 » icfp 1998 |
ICFP
1998
ACM
15 years 2 months ago
1998
ACM
74
Voted
ICFP
1998
ACM
15 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...
108
Voted
ICFP
1998
ACM
15 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...
77
Voted
ICFP
1998
ACM
15 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...
88
Voted
ICFP
1998
ACM
15 years 2 months ago
1998
ACM
If the continuations in functional data-structure-generating programs are made explicit and represented as records, they can be recycled." Once they have served their purpose...