MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01826cam a22003617i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
19757223 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
AT-ISTA |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20230831085455.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
170624t20172017nyua 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2017288477 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781617293023 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1617293024 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)ocn950958936 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
BTCTA |
| Language of cataloging |
eng |
| Transcribing agency |
BTCTA |
| Description conventions |
rda |
| Modifying agency |
BDX |
| -- |
YDXCP |
| -- |
UUM |
| -- |
JRZ |
| -- |
WRF |
| -- |
DLC |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
lccopycat |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.62 |
| Item number |
.B73 2017 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.133 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Brady, Edwin, |
| Relator term |
author. |
| 9 (RLIN) |
972485 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Type-driven development with Idris / |
| Statement of responsibility, etc. |
Edwin Brady. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Shelter Island, NY : |
| Name of producer, publisher, distributor, manufacturer |
Manning Publications Co., |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2017] |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
2017 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxiv, 453 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
24 cm |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Source |
rdacarrier |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Introduction. Overview ; Getting started with Idris -- Core Idris. Interactive development with types ; User-defined data types ; Interactive programs : input and output processing ; Programming with first-class types ; Interfaces : using constrained generic types ; Equality : expressing relationships between data ; Predicates : expressing assumptions and contracts in types ; Views : extending pattern matching -- Idris and the real world. Streams and processes : working with infinite data ; Writing programs with state ; State machines L verifying protocols in types ; Dependent state machines : handling feedback and errors ; Type-safe concurrent programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Idris (Computer program language). |
| 9 (RLIN) |
972486 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Functional programming (Computer science) |
| 9 (RLIN) |
18734 |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
copycat |
| d |
2 |
| e |
ncip |
| f |
20 |
| g |
y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |