- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
An exploration of research in functional programming, featuring an international list of contributors. Topics covered include the exploitation of parallelism, compiler optimization techniques and research in type theory. Practice is not ignored, with papers on topics including an assessment of the applicability of the functional language Haskell for business applications, and a paper describing how to automatically repair type errors - a potentially important tool for users of strongly typed languages.
Contents
Haskell - language for business systems; infinite pretty-printing in eXene; list-memory paging in a DVM system; the efficiency of parallel graph reduction; deriving non-hierarchical process topologies; BSP in a lazy functional context; extending higher-order deforestation; function types in complete type inference; the dual of substitution is redecoration; how to repair type errors automatically. (Part contents)