TY  - BOOK
AU  - Turner,D.A.
TI  - Research topics in functional programming
T2  - The UT year of programming series
SN  - 9780201172362
U1  - 005.114 23
PY  - 1990///
CY  - Reading, Massachusetts
PB  - Addison-Wesley Pub. Co.
KW  - Functional programming (Computer science)
N1  - Papers from a meeting held at the University of Texas at Austin, Aug. 1987; Includes bibliographical references; 1. An overview of Miranda--
2. Why functional programming matters--
3. Exact real numbers: formulating real numbers as functions HANS--
4. The lazy lambda calculus--
5. Compile-time analysis of functional programs--
6. Functional programming and databases--
7. Lazy evaluation and the logic variable--
8. An approach to functional operating systems--
9. An introduction to the programming language FL--
10. Interactive functional programs: A method and a formal semantics--
11. A calculus of functions for program derivation--
12. Higher-order functions considered unnecessary for higher-order programming--
13. A higher-order type system for functional programming--

ER  -