MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03819nam a2200529Ka 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn846495558 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240829143928.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
130603s2013 enk ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
N$T |
| Transcribing agency |
N$T |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781107055537 (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1107055539 (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9781107019027 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
1107019028 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9781107684065 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
1107684064 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)846495558 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
566165 |
| -- |
(N$T) |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.62 |
| Item number |
.H37 2013eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
051390 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
051230 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
051440 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/14 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
N$TA |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hansen, Michael R., |
| Relator term |
author. |
| 9 (RLIN) |
692312 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Functional programming in F♯ |
| Medium |
[electronic resource] / |
| Statement of responsibility, etc. |
Michael R. Hansen, Technical University of Denmark, Lyngby, Hans Rischel, Technical University of Denmark, Lyngby. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Cambridge : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
2013. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (pages cm.) |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"1. Getting started In this chapter we will introduce some of the main concepts of functional programming languages. In particular we will introduce the concepts of value, expression, declaration, recursive function and type. Furthermore, to explain the meaning of programs we will introduce the notions: binding, environment and evaluation of expressions. The purpose of the chapter is to acquaint the reader with these concepts, in order to address interesting problems from the very beginning. The reader will obtain a thorough knowledge of these concepts and skills in applying them as we elaborate on them throughout this book. There is support of both compilation of F♯ programs to executable code and the execution of programs in an interactive mode. The programs in this book are usually illustrated by the use of the interactive mode. The interface of the interactive F♯ compiler is very advanced as e.g. structured values like tuples, lists, trees and functions can be communicated directly between the user and the system without any conversions. Thus, it is very easy to experiment with programs and program designs and this allows us to focus on the main structures of programs and program designs, i.e. the core of programming, as input and output of structured values can be handled by the F♯ system"-- |
| Assigning source |
Provided by publisher. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Machine generated contents note: 1. Getting started; 2. Values, operators, expressions, and functions; 3. Tuples, records, and tagged values; 4. Lists; 5. Collections: Lists, maps, and sets; 6. Finite trees; 7. Modules; 8. Imperative features; 9. Efficiency; 10. Text processing programs; 11. Sequences; 12. Computation expressions; 13. Asynchronous and parallel computations. |
| 588 ## - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Description based on print version record. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Functional programming (Computer science) |
| 9 (RLIN) |
18734 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
F♯ (Computer program language) |
| 9 (RLIN) |
692313 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS / Programming / Open Source |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
819442 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS / Software Development & Engineering / General |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
195058 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS / Software Development & Engineering / Tools |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
819443 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rischel, Hans, |
| Relator term |
author. |
| 9 (RLIN) |
25428 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Hansen, Michael R., author. |
| Title |
Functional programming in F♯. |
| Place, publisher, and date of publication |
Cambridge : Cambridge University Press, 2013 |
| International Standard Book Number |
9781107019027 |
| Record control number |
(DLC) 2012040414 |
| -- |
(OCoLC)819531650 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
EBSCOhost |
| Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=566165">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=566165</a> |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
566165 |
| 910 ## - USER-OPTION DATA (OCLC) |
|---|
| User-option data |
cpp1723AUTO |
| 994 ## - |
|---|
| -- |
02 |
| -- |
N$T |