Programming in Haskell:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2007
|
Ausgabe: | 1. publ., repr. with corr. |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke Includes bibliographical references (p. [167]-168) and index |
Beschreibung: | XII, 171 S. graph. Darst. 26 cm |
ISBN: | 9780521692694 9780521871723 0521871727 0521692695 |
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV022716109 | ||
003 | DE-604 | ||
005 | 20140825 | ||
007 | t | ||
008 | 070905s2007 xxkd||| |||| 00||| eng d | ||
010 | |a 2007274987 | ||
015 | |a GBA678645 |2 dnb | ||
020 | |a 9780521692694 |9 978-0-521-69269-4 | ||
020 | |a 9780521871723 |9 978-0-521-87172-3 | ||
020 | |a 0521871727 |c hbk. |9 0-521-87172-7 | ||
020 | |a 0521692695 |c pbk. |9 0-521-69269-5 | ||
035 | |a (OCoLC)71347608 | ||
035 | |a (DE-599)BVBBV022716109 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
044 | |a xxk |c GB | ||
049 | |a DE-824 |a DE-384 |a DE-898 |a DE-473 |a DE-188 |a DE-B768 |a DE-91G |a DE-19 |a DE-83 |a DE-573 | ||
050 | 0 | |a QA76.62 | |
082 | 0 | |a 005.133 | |
084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
084 | |a DAT 362f |2 stub | ||
100 | 1 | |a Hutton, Graham |e Verfasser |4 aut | |
245 | 1 | 0 | |a Programming in Haskell |c Graham Hutton |
250 | |a 1. publ., repr. with corr. | ||
264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2007 | |
300 | |a XII, 171 S. |b graph. Darst. |c 26 cm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
500 | |a Includes bibliographical references (p. [167]-168) and index | ||
650 | 7 | |a Functionele programmering |2 gtt | |
650 | 4 | |a Haskell (Langage de programmation) | |
650 | 7 | |a Haskell (programmeertaal) |2 gtt | |
650 | 4 | |a Programmation fonctionnelle | |
650 | 4 | |a Haskell (Computer program language) | |
650 | 0 | 7 | |a HASKELL |0 (DE-588)4318275-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Haskell 98 |0 (DE-588)4742681-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
689 | 0 | 0 | |a Haskell 98 |0 (DE-588)4742681-0 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a HASKELL |0 (DE-588)4318275-6 |D s |
689 | 1 | |5 DE-604 | |
856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015921891&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-015921891 |
Datensatz im Suchindex
_version_ | 1804136939225350144 |
---|---|
adam_text | Contents
Preface
page
xi
Chapter I Introduction
1
1.1
Functions
1
1.2
Functional programming
2
1.3
Features of Haskell
4
1.4
Historical background
6
1.5
A taste of Haskell
6
1.6
Chapter remarks
9
1.7
Exercises
9
Chapter
2
| First steps
ÍÕ
2.1
The Hugs system
10
2.2
The standard prelude
10
2.3
Function application
12
2.4
Haskell scripts
13
2.5
Chapter remarks
16
2.6
Exercises
16
Chapter
3
I Types and classes
17
3.1
Basic concepts
17
3.2
Basic types
18
3.3
List types
20
3.4
Tuple types
20
3.5
Function types
21
3.6
Curried functions
21
3.7
Polymorphic types
23
3.8
Overloaded types
23
3.9
Basic classes
24
3.10
Chapter remarks
28
3.11
Exercises
28
Chapter
4
| Defining functions
30
4.1
New from old
30
4.2
Conditional expressions
3
1
4.3
Guarded equations
31
4.4
Pattern matching
32
4.5
Lambda expressions
34
4.6
Sections
36
4.7
Chapter remarks
36
4.8
Exercises
37
Chapter
5
List connprehensions
38
5.1
Generators
38
5.2
Guards
39
5.3
The zip function
40
5.4
String comprehensions
41
5.5
The Caesar cipher
42
5.6
Chapter remarks
46
5.7
Exercises
46
Chapter
6
I Recursive functions
48
6.1
Basic concepts
48
6.2
Recursion on lists
49
6.3
Multiple arguments
52
6.4
Multiple recursion
53
6.5
Mutual recursion
53
6.6
Advice on recursion
55
6.7
Chapter remarks
59
6.8
Exercises
59
Chapter
7
I Higher-order functions
61
7.1
Basic concepts
61
7.2
Processing lists
62
7.3
The foldr function
64
7.4
The foldl function
66
7.5
The composition operator
68
7.6
String transmitter
69
7.7
Chapter remarks
72
, 7.8
Exercises
72
Chapter
8
Τ
Functional parsers
74
8.1
Parsers
74
8.2
The parser type
75
8.3
Basic parsers
75
8.4
Sequencing
76
8.5
Choice
78
8.6
Derived primitives
78
8.7
Handling spacing
81
8.8
Arithmetic expressions
82
8.9
Chapter remarks
85
8.10
Exercises
85
Chapter
9
I Interactive programs
87
9.1
Interaction
87
9.2
The input/output type
88
9.3
Basic actions
88
9.4
Sequencing
89
9.5
Derived primitives
90
9.6
Calculator
91
9.7
Game of life
94
9.8
Chapter remarks
97
9.9
Exercises
97
Chapter
10
Declaring types and classes
99
10.1
Type declarations
99
10.2
Data declarations
100
10.3
Recursive types
102
10.4
Tautology checker
105
10.5
Abstract machine
109
10.6
Class and instance declarations
111
10.7
Chapter remarks
114
10.8
Exercises
114
Chapter
1 1
The countdown problem
116
11.1
Introduction
116
11.2
Formalising the problem
117
11.3
Brute force solution
119
11.4
Combining generation and evaluation
120
11.5
Exploiting algebraic properties
121
11.6
Chapter remarks
123
11.7
Exercises
123
Chapter
12
Lazy evaluation
124
12.1
Introduction
124
12.2
Evaluation strategies
125
12.3
Termination
128
12.4
Number of reductions
129
12.5
Infinite structures
130
12.6
Modular programming
132
12.7
Strict application
134
12.8
Chapter remarks
137
12.9
Exercises
137
Chapter
13
| Reasoning about programs
139
13.1
Equational reasoning
139
13.2
Reasoning about Haskell
140
13.3
Simple examples
141
13.4
Induction on numbers
142
Î3.5
Induction on lists
145
13.6
Making append vanish
146
13.7
Compiler correctness
150
13.8
Chapter remarks
154
13.9
Exercises
154
Appendix
A Standard
prelude
156
АЛ
Classes
156
A.2
Logical
values
157
А.З
Characters and strings
158
A.4 Numbers
159
A.5 Tuples
160
A.6 Maybe
160
A.7 Lists
160
A.
8
Functions
164
A.9 Input/output
164
Appendix
В
| Symbol table
166
Bibliography
167
index
169
|
adam_txt |
Contents
Preface
page
xi
Chapter I Introduction
1
1.1
Functions
1
1.2
Functional programming
2
1.3
Features of Haskell
4
1.4
Historical background
6
1.5
A taste of Haskell
6
1.6
Chapter remarks
9
1.7
Exercises
9
Chapter
2
| First steps
ÍÕ
2.1
The Hugs system
10
2.2
The standard prelude
10
2.3
Function application
12
2.4
Haskell scripts
13
2.5
Chapter remarks
16
2.6
Exercises
16
Chapter
3
I Types and classes
17
3.1
Basic concepts
17
3.2
Basic types
18
3.3
List types
20
3.4
Tuple types
20
3.5
Function types
21
3.6
Curried functions
21
3.7
Polymorphic types
23
3.8
Overloaded types
23
3.9
Basic classes
24
3.10
Chapter remarks
28
3.11
Exercises
28
Chapter
4
| Defining functions
30
4.1
New from old
30
4.2
Conditional expressions
3
1
4.3
Guarded equations
31
4.4
Pattern matching
32
4.5
Lambda expressions
34
4.6
Sections
36
4.7
Chapter remarks
36
4.8
Exercises
37
Chapter
5
List connprehensions
38
5.1
Generators
38
5.2
Guards
39
5.3
The zip function
40
5.4
String comprehensions
41
5.5
The Caesar cipher
42
5.6
Chapter remarks
46
5.7
Exercises
46
Chapter
6
I Recursive functions
48
6.1
Basic concepts
48
6.2
Recursion on lists
49
6.3
Multiple arguments
52
6.4
Multiple recursion
53
6.5
Mutual recursion
53
6.6
Advice on recursion
55
6.7
Chapter remarks
59
6.8
Exercises
59
Chapter
7
I Higher-order functions
61
7.1
Basic concepts
61
7.2
Processing lists
62
7.3
The foldr function
64
7.4
The foldl function
66
7.5
The composition operator
68
7.6
String transmitter
69
7.7
Chapter remarks
72
, 7.8
Exercises
72
Chapter
8
Τ
Functional parsers
74
8.1
Parsers
74
8.2
The parser type
75
8.3
Basic parsers
75
8.4
Sequencing
76
8.5
Choice
78
8.6
Derived primitives
78
8.7
Handling spacing
81
8.8
Arithmetic expressions
82
8.9
Chapter remarks
85
8.10
Exercises
85
Chapter
9
I Interactive programs
87
9.1
Interaction
87
9.2
The input/output type
88
9.3
Basic actions
88
9.4
Sequencing
89
9.5
Derived primitives
90
9.6
Calculator
91
9.7
Game of life
94
9.8
Chapter remarks
97
9.9
Exercises
97
Chapter
10
Declaring types and classes
99
10.1
Type declarations
99
10.2
Data declarations
100
10.3
Recursive types
102
10.4
Tautology checker
105
10.5
Abstract machine
109
10.6
Class and instance declarations
111
10.7
Chapter remarks
114
10.8
Exercises
114
Chapter
1 1
The countdown problem
116
11.1
Introduction
116
11.2
Formalising the problem
117
11.3
Brute force solution
119
11.4
Combining generation and evaluation
120
11.5
Exploiting algebraic properties
121
11.6
Chapter remarks
123
11.7
Exercises
123
Chapter
12
Lazy evaluation
124
12.1
Introduction
124
12.2
Evaluation strategies
125
12.3
Termination
128
12.4
Number of reductions
129
12.5
Infinite structures
130
12.6
Modular programming
132
12.7
Strict application
134
12.8
Chapter remarks
137
12.9
Exercises
137
Chapter
13
| Reasoning about programs
139
13.1
Equational reasoning
139
13.2
Reasoning about Haskell
140
13.3
Simple examples
141
13.4
Induction on numbers
142
Î3.5
Induction on lists
145
13.6
Making append vanish
146
13.7
Compiler correctness
150
13.8
Chapter remarks
154
13.9
Exercises
154
Appendix
A Standard
prelude
156
АЛ
Classes
156
A.2
Logical
values
157
А.З
Characters and strings
158
A.4 Numbers
159
A.5 Tuples
160
A.6 Maybe
160
A.7 Lists
160
A.
8
Functions
164
A.9 Input/output
164
Appendix
В
| Symbol table
166
Bibliography
167
index
169 |
any_adam_object | 1 |
any_adam_object_boolean | 1 |
author | Hutton, Graham |
author_facet | Hutton, Graham |
author_role | aut |
author_sort | Hutton, Graham |
author_variant | g h gh |
building | Verbundindex |
bvnumber | BV022716109 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.62 |
callnumber-search | QA76.62 |
callnumber-sort | QA 276.62 |
callnumber-subject | QA - Mathematics |
classification_rvk | ST 240 ST 250 |
classification_tum | DAT 362f |
ctrlnum | (OCoLC)71347608 (DE-599)BVBBV022716109 |
dewey-full | 005.133 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.133 |
dewey-search | 005.133 |
dewey-sort | 15.133 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
discipline_str_mv | Informatik |
edition | 1. publ., repr. with corr. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02250nam a2200589zc 4500</leader><controlfield tag="001">BV022716109</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140825 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070905s2007 xxkd||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2007274987</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA678645</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521692694</subfield><subfield code="9">978-0-521-69269-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521871723</subfield><subfield code="9">978-0-521-87172-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521871727</subfield><subfield code="c">hbk.</subfield><subfield code="9">0-521-87172-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521692695</subfield><subfield code="c">pbk.</subfield><subfield code="9">0-521-69269-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)71347608</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022716109</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.62</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 362f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hutton, Graham</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming in Haskell</subfield><subfield code="c">Graham Hutton</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ., repr. with corr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 171 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">26 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [167]-168) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functionele programmering</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Haskell (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Haskell (programmeertaal)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation fonctionnelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Haskell (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">HASKELL</subfield><subfield code="0">(DE-588)4318275-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Haskell 98</subfield><subfield code="0">(DE-588)4742681-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Haskell 98</subfield><subfield code="0">(DE-588)4742681-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">HASKELL</subfield><subfield code="0">(DE-588)4318275-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015921891&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015921891</subfield></datafield></record></collection> |
genre | (DE-588)4151278-9 Einführung gnd-content (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Einführung Lehrbuch |
id | DE-604.BV022716109 |
illustrated | Illustrated |
index_date | 2024-07-02T18:28:31Z |
indexdate | 2024-07-09T21:04:22Z |
institution | BVB |
isbn | 9780521692694 9780521871723 0521871727 0521692695 |
language | English |
lccn | 2007274987 |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015921891 |
oclc_num | 71347608 |
open_access_boolean | |
owner | DE-824 DE-384 DE-898 DE-BY-UBR DE-473 DE-BY-UBG DE-188 DE-B768 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-573 |
owner_facet | DE-824 DE-384 DE-898 DE-BY-UBR DE-473 DE-BY-UBG DE-188 DE-B768 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-573 |
physical | XII, 171 S. graph. Darst. 26 cm |
publishDate | 2007 |
publishDateSearch | 2007 |
publishDateSort | 2007 |
publisher | Cambridge Univ. Press |
record_format | marc |
spelling | Hutton, Graham Verfasser aut Programming in Haskell Graham Hutton 1. publ., repr. with corr. Cambridge [u.a.] Cambridge Univ. Press 2007 XII, 171 S. graph. Darst. 26 cm txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Includes bibliographical references (p. [167]-168) and index Functionele programmering gtt Haskell (Langage de programmation) Haskell (programmeertaal) gtt Programmation fonctionnelle Haskell (Computer program language) HASKELL (DE-588)4318275-6 gnd rswk-swf Haskell 98 (DE-588)4742681-0 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content (DE-588)4123623-3 Lehrbuch gnd-content Haskell 98 (DE-588)4742681-0 s DE-604 HASKELL (DE-588)4318275-6 s Digitalisierung UB Augsburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015921891&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Hutton, Graham Programming in Haskell Functionele programmering gtt Haskell (Langage de programmation) Haskell (programmeertaal) gtt Programmation fonctionnelle Haskell (Computer program language) HASKELL (DE-588)4318275-6 gnd Haskell 98 (DE-588)4742681-0 gnd |
subject_GND | (DE-588)4318275-6 (DE-588)4742681-0 (DE-588)4151278-9 (DE-588)4123623-3 |
title | Programming in Haskell |
title_auth | Programming in Haskell |
title_exact_search | Programming in Haskell |
title_exact_search_txtP | Programming in Haskell |
title_full | Programming in Haskell Graham Hutton |
title_fullStr | Programming in Haskell Graham Hutton |
title_full_unstemmed | Programming in Haskell Graham Hutton |
title_short | Programming in Haskell |
title_sort | programming in haskell |
topic | Functionele programmering gtt Haskell (Langage de programmation) Haskell (programmeertaal) gtt Programmation fonctionnelle Haskell (Computer program language) HASKELL (DE-588)4318275-6 gnd Haskell 98 (DE-588)4742681-0 gnd |
topic_facet | Functionele programmering Haskell (Langage de programmation) Haskell (programmeertaal) Programmation fonctionnelle Haskell (Computer program language) HASKELL Haskell 98 Einführung Lehrbuch |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015921891&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT huttongraham programminginhaskell |