Central European Functional Programming School: second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture notes in computer science
5161 : Tutorial |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 301 S. graph. Darst. 24 cm |
| ISBN: | 9783540880585 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035134773 | ||
| 003 | DE-604 | ||
| 005 | 20170112 | ||
| 007 | t| | ||
| 008 | 081103s2008 xx d||| |||| 10||| eng d | ||
| 015 | |a 08,N40,0017 |2 dnb | ||
| 015 | |a 08,A44,0036 |2 dnb | ||
| 016 | 7 | |a 990379469 |2 DE-101 | |
| 020 | |a 9783540880585 |c kart. : EUR 49.17 (freier Pr.), sfr 76.50 (freier Pr.) |9 978-3-540-88058-5 | ||
| 024 | 3 | |a 9783540880585 | |
| 028 | 5 | 2 | |a 12525737 |
| 035 | |a (OCoLC)262427606 | ||
| 035 | |a (DE-599)DNB990379469 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.62 | |
| 082 | 0 | |a 005.114 |2 22/ger | |
| 082 | 0 | |a 005.1/4 |2 22 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 544f |2 stub | ||
| 111 | 2 | |a Central European Functional Programming School |n 2 |d 2007 |c Klausenburg |j Verfasser |0 (DE-588)10358973-9 |4 aut | |
| 245 | 1 | 0 | |a Central European Functional Programming School |b second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures |c Zoltán Horváth ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a 301 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5161 : Tutorial | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Funktionale Programmierung - Kongress - Klausenburg <2007> | |
| 650 | 4 | |a Functional programming (Computer science) |v 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 2007 |z Cluj-Napoca |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Horváth, Zoltán |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5161 : Tutorial |w (DE-604)BV000000607 |9 5161 | |
| 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=016802234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016802234 | |
Datensatz im Suchindex
| _version_ | 1820875082667393024 |
|---|---|
| adam_text |
TABLE OF CONTENTS AN INTRODUCTION TO ITASKS: DEFINING INTERACTIVE WORK
FLOWS FOR THE WEB 1 RINUS PLASMEIJER, PETER ACHTEN, AND PIETER KOOPMAN
PROVING PROPERTIES OF LAZY FUNCTIONAL PROGRAMS WITH SPARKLE 41 MAARTEN
DE MOL, MARKO VAN EEKELEN, AND RINUS PLASMEIJER AN INTRODUCTION TO THE
LAMBDA CALCULUS 87 ZOLTDN CSOERNYEI AND GERGELY DEVAI ABSTRACT A-CALCULUS
MACHINES 112 WERNER E. KLUGE PROGRAMMING IN SSMEGA 158 TIM SHEARD AND
NATHAN LINGER A TUTORIAL ON OBJECT-ORIENTED FUNCTIONAL PROGRAMMING 228
HORIA F. POP USE CASES FOR REFACTORING IN ERLANG 250 TAMDS KOZSIK,
ZOLTDN CSOERNYEI, ZOLTDN HORVDTH, ROLAND KIRDLY, ROBERT KITLEI, LDSZLOE
LOE'VEI, TAMDS NAGY, MELINDA TOETH, AND ANIKO VIG FROM INTERPRETATION TO
COMPILATION 286 JAN MARTIN JANSEN, PIETER KOOPMAN, AND RINUS PLASMEIJER
AUTHOR INDEX 303 GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/990379469 DIGITALISIERT DURCH |
| adam_txt |
TABLE OF CONTENTS AN INTRODUCTION TO ITASKS: DEFINING INTERACTIVE WORK
FLOWS FOR THE WEB 1 RINUS PLASMEIJER, PETER ACHTEN, AND PIETER KOOPMAN
PROVING PROPERTIES OF LAZY FUNCTIONAL PROGRAMS WITH SPARKLE 41 MAARTEN
DE MOL, MARKO VAN EEKELEN, AND RINUS PLASMEIJER AN INTRODUCTION TO THE
LAMBDA CALCULUS 87 ZOLTDN CSOERNYEI AND GERGELY DEVAI ABSTRACT A-CALCULUS
MACHINES 112 WERNER E. KLUGE PROGRAMMING IN SSMEGA 158 TIM SHEARD AND
NATHAN LINGER A TUTORIAL ON OBJECT-ORIENTED FUNCTIONAL PROGRAMMING 228
HORIA F. POP USE CASES FOR REFACTORING IN ERLANG 250 TAMDS KOZSIK,
ZOLTDN CSOERNYEI, ZOLTDN HORVDTH, ROLAND KIRDLY, ROBERT KITLEI, LDSZLOE
LOE'VEI, TAMDS NAGY, MELINDA TOETH, AND ANIKO VIG FROM INTERPRETATION TO
COMPILATION 286 JAN MARTIN JANSEN, PIETER KOOPMAN, AND RINUS PLASMEIJER
AUTHOR INDEX 303 GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/990379469 DIGITALISIERT DURCH |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_corporate | Central European Functional Programming School Klausenburg |
| author_corporate_role | aut |
| author_facet | Central European Functional Programming School Klausenburg |
| author_sort | Central European Functional Programming School Klausenburg |
| building | Verbundindex |
| bvnumber | BV035134773 |
| 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 | SS 4800 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)262427606 (DE-599)DNB990379469 |
| dewey-full | 005.114 005.1/4 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.114 005.1/4 |
| dewey-search | 005.114 005.1/4 |
| dewey-sort | 15.114 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | 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">BV035134773</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170112</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">081103s2008 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N40,0017</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,A44,0036</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">990379469</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540880585</subfield><subfield code="c">kart. : EUR 49.17 (freier Pr.), sfr 76.50 (freier Pr.)</subfield><subfield code="9">978-3-540-88058-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540880585</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12525737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)262427606</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB990379469</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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.114</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Central European Functional Programming School</subfield><subfield code="n">2</subfield><subfield code="d">2007</subfield><subfield code="c">Klausenburg</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10358973-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Central European Functional Programming School</subfield><subfield code="b">second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures</subfield><subfield code="c">Zoltán Horváth ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">301 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5161 : Tutorial</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Funktionale Programmierung - Kongress - Klausenburg <2007></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="v">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">2007</subfield><subfield code="z">Cluj-Napoca</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">Horváth, Zoltán</subfield><subfield code="e">Sonstige</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">5161 : Tutorial</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5161</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=016802234&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-016802234</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2007 Cluj-Napoca gnd-content |
| genre_facet | Konferenzschrift 2007 Cluj-Napoca |
| id | DE-604.BV035134773 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:25:36Z |
| indexdate | 2025-01-10T15:09:59Z |
| institution | BVB |
| institution_GND | (DE-588)10358973-9 |
| isbn | 9783540880585 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016802234 |
| oclc_num | 262427606 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | 301 S. graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Central European Functional Programming School 2 2007 Klausenburg Verfasser (DE-588)10358973-9 aut Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures Zoltán Horváth ... (ed.) Berlin [u.a.] Springer 2008 301 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5161 : Tutorial Literaturangaben Funktionale Programmierung - Kongress - Klausenburg <2007> Functional programming (Computer science) Congresses Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Cluj-Napoca gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 Horváth, Zoltán Sonstige oth Lecture notes in computer science 5161 : Tutorial (DE-604)BV000000607 5161 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016802234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures Lecture notes in computer science Funktionale Programmierung - Kongress - Klausenburg <2007> Functional programming (Computer science) Congresses Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4198740-8 (DE-588)1071861417 |
| title | Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures |
| title_auth | Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures |
| title_exact_search | Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures |
| title_exact_search_txtP | Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures |
| title_full | Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures Zoltán Horváth ... (ed.) |
| title_fullStr | Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures Zoltán Horváth ... (ed.) |
| title_full_unstemmed | Central European Functional Programming School second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures Zoltán Horváth ... (ed.) |
| title_short | Central European Functional Programming School |
| title_sort | central european functional programming school second summer school cefp 2007 cluj napoca romania june 23 30 2007 revised selected lectures |
| title_sub | second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23 - 30, 2007 ; revised selected lectures |
| topic | Funktionale Programmierung - Kongress - Klausenburg <2007> Functional programming (Computer science) Congresses Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Funktionale Programmierung - Kongress - Klausenburg <2007> Functional programming (Computer science) Congresses Funktionale Programmierung Konferenzschrift 2007 Cluj-Napoca |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016802234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT centraleuropeanfunctionalprogrammingschoolklausenburg centraleuropeanfunctionalprogrammingschoolsecondsummerschoolcefp2007clujnapocaromaniajune23302007revisedselectedlectures AT horvathzoltan centraleuropeanfunctionalprogrammingschoolsecondsummerschoolcefp2007clujnapocaromaniajune23302007revisedselectedlectures |