| 000 | 01069camuu2200289 a 4500 | |
| 001 | 000045434963 | |
| 005 | 20080421131854 | |
| 008 | 921006s1992 enka b 001 0 eng | |
| 010 | ▼a 92224723 | |
| 020 | ▼a 0521258308 | |
| 020 | ▼a 0521277248 (pbk.) | |
| 020 | ▼a 9780521277242 (pbk.) | |
| 035 | ▼a (KERIS)REF000006684425 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.62 ▼b .D38 1992 |
| 082 | 0 0 | ▼a 005.1/1 ▼2 22 |
| 090 | ▼a 005.11 ▼b D254i | |
| 100 | 1 | ▼a Davie, A. J. T. ▼q (Antony J. T.) , ▼d 1939-. |
| 245 | 1 3 | ▼a An introduction to functional programming systems using Haskell / ▼c Antony J.T. Davie. |
| 260 | ▼a Cambridge ; ▼a New York, NY, USA : ▼b Cambridge University Press , ▼c 1992 ▼g (1999 printing) | |
| 300 | ▼a xiv, 290 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Cambridge computer science texts ; ▼v 27 |
| 504 | ▼a Includes bibliographical references (p. 213-225) and index. | |
| 650 | 0 | ▼a Functional programming (Computer science) |
| 650 | 0 | ▼a Haskell (Computer program language) |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.11 D254i | 등록번호 121168587 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
Here is an introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. Haskell is a new, internationally agreed and accepted functional language that is designed for teaching, research and applications, that has a complete formal description, that is freely available, and that is based on ideas that have a wide consensus. Thus it encapsulates some of the main thrusts of functional programming itself, which is a style of programming designed to confront the software crisis directly. Programs written in functional languages can be built up from smaller parts, and they can also be proved correct, important when software has to be reliable. Moreover, a certain amount of parallelism can be extracted from functional languages automatically. This book serves as an introduction both to functional programming and Haskell, and will be most useful to students, teachers and researchers in either of these areas. An especially valuable feature are the chapters on programming and implementation, along with a large number of exercises.
정보제공 :
목차
1. Introduction; 2. Introduction to functional programs; 3. Techniques and methods; 4. Types; 5. Lambda calculus; 6. Applicative implementation; 7. Lazy evaluation; 8. Implementation of lazy evaluation; 9. Correctness; 10. Applicative program transformation; 11. Parallel evaluation; Bibliography; Appendices; Index.
정보제공 :