Advanced functional programming: 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1995
|
| Series: | Lecture notes in computer science
925 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 331 S. |
| ISBN: | 3540594515 0387594515 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010172537 | ||
| 003 | DE-604 | ||
| 005 | 19950913 | ||
| 007 | t| | ||
| 008 | 950502s1995 gw |||| 10||| eng d | ||
| 016 | 7 | |a 944223354 |2 DE-101 | |
| 020 | |a 3540594515 |9 3-540-59451-5 | ||
| 020 | |a 0387594515 |9 0-387-59451-5 | ||
| 035 | |a (OCoLC)634704908 | ||
| 035 | |a (DE-599)BVBBV010172537 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-29T |a DE-20 |a DE-19 |a DE-634 |a DE-83 |a DE-706 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.62.I59 1995 | |
| 082 | 0 | |a 005.1/1 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Advanced functional programming |b 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text |c Johan Jeuring ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
| 300 | |a 331 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 925 | |
| 650 | 4 | |a Functional programming (Computer science) -- Congresses | |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Båstad |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Jeuring, Johan |e Sonstige |4 oth | |
| 711 | 2 | |a International Spring School on Advanced Functional Programming Techniques |n 1 |d 1995 |c Båstad |j Sonstige |0 (DE-588)2146485-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 925 |w (DE-604)BV000000607 |9 925 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006756792&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006756792 | |
Record in the Search Index
| _version_ | 1820868258746597376 |
|---|---|
| adam_text |
CONTENTS
JEROEN
FOKKER
I
FUNCTIONAL
PARSERS
PHILIP
WADLER
24
MONADS
FOR
FUNCTIONAL
PROGRAMMING
JOHN
HUGHES
53
THE
DESIGN
OF
A
PRETTY-PRINTING
LIBRARY
MARK
P.
JONES
97
FUNCTIONAL
PROGRAMMING
WITH
OVERLOADING
AND
HIGHER-ORDER
POLYMORPHISM
THOMAS
HALLGREN
AND
MAGNUS
CARLSSON
137
PROGRAMMING
WITH
FUDGETS
MARKO
C.J.D.
VAN
EEKELEN
AND
RINUS
(M.)J.
PLASMEIJER
183
CONSTRUCTING
MEDIUM
SIZED
EFFICIENT
FUNCTIONAL
PROGRAMS
IN
CLEAN
ERIK
MEIJER
AND
JOHAN
JEURING
228
MERGING
MONADS
AND
FOLDS
FOR
FUNCTIONAL
PROGRAMMING
RICHARD
B.
KIEBURTZ
AND
JEFFREY
LEWIS
267
PROGRAMMING
WITH
ALGEBRAS
JOHN
LAUNCHBURY
GRAPH
ALGORITHMS
WITH
A
FUNCTIONAL
FLAVOUR
308 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010172537 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.62.I59 1995 |
| callnumber-search | QA76.62.I59 1995 |
| callnumber-sort | QA 276.62 I59 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)634704908 (DE-599)BVBBV010172537 |
| dewey-full | 005.1/120 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/1 20 |
| dewey-search | 005.1/1 20 |
| dewey-sort | 15.1 11 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010172537</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950913</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950502s1995 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944223354</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540594515</subfield><subfield code="9">3-540-59451-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387594515</subfield><subfield code="9">0-387-59451-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634704908</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010172537</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.62.I59 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/1 20</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">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advanced functional programming</subfield><subfield code="b">1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text</subfield><subfield code="c">Johan Jeuring ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">331 S.</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">925</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science) -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Båstad</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jeuring, Johan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Spring School on Advanced Functional Programming Techniques</subfield><subfield code="n">1</subfield><subfield code="d">1995</subfield><subfield code="c">Båstad</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2146485-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">925</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">925</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=006756792&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006756792</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Båstad gnd-content |
| genre_facet | Konferenzschrift 1995 Båstad |
| id | DE-604.BV010172537 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:31Z |
| institution | BVB |
| institution_GND | (DE-588)2146485-6 |
| isbn | 3540594515 0387594515 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006756792 |
| oclc_num | 634704908 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-29T DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-706 DE-11 DE-188 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-29T DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-706 DE-11 DE-188 |
| physical | 331 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text Johan Jeuring ... (eds.) Berlin u.a. Springer 1995 331 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 925 Functional programming (Computer science) -- Congresses Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Båstad gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 Jeuring, Johan Sonstige oth International Spring School on Advanced Functional Programming Techniques 1 1995 Båstad Sonstige (DE-588)2146485-6 oth Lecture notes in computer science 925 (DE-604)BV000000607 925 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006756792&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text Lecture notes in computer science Functional programming (Computer science) -- Congresses Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4198740-8 (DE-588)1071861417 |
| title | Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text |
| title_auth | Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text |
| title_exact_search | Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text |
| title_full | Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text Johan Jeuring ... (eds.) |
| title_fullStr | Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text Johan Jeuring ... (eds.) |
| title_full_unstemmed | Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text Johan Jeuring ... (eds.) |
| title_short | Advanced functional programming |
| title_sort | advanced functional programming 1 international spring school on advanced functional programming techniques bastad sweden may 24 30 1995 tutorial text |
| title_sub | 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text |
| topic | Functional programming (Computer science) -- Congresses Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Functional programming (Computer science) -- Congresses Funktionale Programmierung Konferenzschrift 1995 Båstad |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006756792&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jeuringjohan advancedfunctionalprogramming1internationalspringschoolonadvancedfunctionalprogrammingtechniquesbastadswedenmay24301995tutorialtext AT internationalspringschoolonadvancedfunctionalprogrammingtechniquesbastad advancedfunctionalprogramming1internationalspringschoolonadvancedfunctionalprogrammingtechniquesbastadswedenmay24301995tutorialtext |