Research Topics in Functional Programming

✍ Scribed by David Turner

• Publisher: Addison-Wesley
• Year: 1990
• Tongue: English
• Leaves: 408
• Series: UT Year of Programming Series
• Category: Library

✦ Synopsis

This volume is, essentially, the proceedings of a meeting which took place at The University of Texas at Austin in August 1987. The meeting was entitled "The Institute of Declarative Programming" and was one of six such institutes hosted by UT as part of their highly successful "Year of Programming".

The main part of the meeting was devoted to the presentation of research papers in the area of functional programming, and it these (or subsequently revised versions of them) that form most of the book's chapters. They form an interesting and representative collection of papers on a variety of important research topics in the field of functional programming. The ordering of topics is somewhat arbitrary; in the hope of assisting the reader to find his way around the volume here are a few words of explanation of the contents of the various chapters.

For the convenience of the reader we have included two additional chapters of a more tutorial nature (the first two).

✦ Table of Contents

Foreword
Preface
1 An overview of Miranda by David Turner
2 Why functional programming matters by John Hughes
3 Exact real numbers: Formulating real numbers as functions by Hans Boehm and Robert Cartwright
4 The lazy lambda calculus by Samson Abramsky
5 Compile-time analysis of functional programs by John Hughes
6 Functional programming and databases by Peter Buneman
7 Lazy evaluation and the logic variable by Keshav Pingali
8 An approach to functional operating systems by David Turner
9 An introduction to the programming language FL by John Backus, John Williams, and Edward Wimmers
10 Interactive functional programs: A method and a formal semantics by Simon Thompson
11 A calculus of functions for program derivation by R. S. Bird
12 Higher-order functions considered unnecessary for higher-order programming by Joseph A. Goguen
13 A higher-order type system for functional programming by David MacQueen
The Authors
The Year of Programming on Videotape