Trends in functional programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2014
|
| Series: | Lecture notes in computer science
8322 |
| Subjects: | |
| Online Access: | DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Abstract |
| Physical Description: | 1 Online-Ressource (167 S.) graph. Darst. |
| ISBN: | 9783642453397 9783642453403 |
| DOI: | 10.1007/978-3-642-45340-3 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041736210 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140314s2014 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783642453397 |9 978-3-642-45339-7 | ||
| 020 | |a 9783642453403 |c eISBN |9 978-3-642-45340-3 | ||
| 024 | 7 | |a 10.1007/978-3-642-45340-3 |2 doi | |
| 035 | |a (OCoLC)867052278 | ||
| 035 | |a (DE-599)BVBBV041736210 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-861 |a DE-634 | ||
| 084 | |a DAT 544f |2 stub | ||
| 245 | 1 | 0 | |a Trends in functional programming |b 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers |c Jay McCarthy (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (167 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8322 | |
| 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 2013 |z Provo, Utah |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a McCarthy, Jay |e Sonstige |0 (DE-588)1046524496 |4 oth | |
| 711 | 2 | |a TFP |n 14 |d 2013 |c Provo, Utah |j Sonstige |0 (DE-588)1046523724 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8322 |w (DE-604)BV014880109 |9 8322 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-45340-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027182904&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027182904 | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-45340-3 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1820875565518815232 |
|---|---|
| adam_text |
TRENDS IN FUNCTIONAL PROGRAMMING
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED REVISED SELECTED PAPERS OF
THE 14TH INTERNATIONAL SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING,
TFP 2013, HELD IN PROVO, UT, USA IN MAY 2013. THE 10 REVISED FULL PAPERS
INCLUDED IN THIS VOLUME WERE CAREFULLY AND SELECTED FROM 27 SUBMISSIONS.
THEY COVER TOPICS SUCH AS DISTRIBUTED SYSTEMS, EDUCATION, FUNCTIONAL
LANGUAGE IMPLEMENTATION, HARDWARE SYNTHESIS, STATIC ANALYSIS, TESTING,
AND TOTAL PROGRAMMING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)1046524496 |
| building | Verbundindex |
| bvnumber | BV041736210 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 544f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)867052278 (DE-599)BVBBV041736210 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-45340-3 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041736210</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140314s2014 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642453397</subfield><subfield code="9">978-3-642-45339-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642453403</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-45340-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-45340-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)867052278</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041736210</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-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Trends in functional programming</subfield><subfield code="b">14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers</subfield><subfield code="c">Jay McCarthy (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (167 S.)</subfield><subfield code="b">graph. Darst.</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">8322</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">2013</subfield><subfield code="z">Provo, Utah</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">McCarthy, Jay</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1046524496</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TFP</subfield><subfield code="n">14</subfield><subfield code="d">2013</subfield><subfield code="c">Provo, Utah</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1046523724</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">8322</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8322</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027182904&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027182904</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45340-3</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Provo, Utah gnd-content |
| genre_facet | Konferenzschrift 2013 Provo, Utah |
| id | DE-604.BV041736210 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:39Z |
| institution | BVB |
| institution_GND | (DE-588)1046523724 |
| isbn | 9783642453397 9783642453403 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027182904 |
| oclc_num | 867052278 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (167 S.) graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers Jay McCarthy (ed.) Berlin [u.a.] Springer 2014 1 Online-Ressource (167 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8322 Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Provo, Utah gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 McCarthy, Jay Sonstige (DE-588)1046524496 oth TFP 14 2013 Provo, Utah Sonstige (DE-588)1046523724 oth Lecture notes in computer science 8322 (DE-604)BV014880109 8322 https://doi.org/10.1007/978-3-642-45340-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027182904&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers Lecture notes in computer science Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4198740-8 (DE-588)1071861417 |
| title | Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers |
| title_auth | Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers |
| title_exact_search | Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers |
| title_full | Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers Jay McCarthy (ed.) |
| title_fullStr | Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers Jay McCarthy (ed.) |
| title_full_unstemmed | Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers Jay McCarthy (ed.) |
| title_short | Trends in functional programming |
| title_sort | trends in functional programming 14th international symposium tfp 2013 provo ut usa may 14 16 2013 revised selected papers |
| title_sub | 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers |
| topic | Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Funktionale Programmierung Konferenzschrift 2013 Provo, Utah |
| url | https://doi.org/10.1007/978-3-642-45340-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027182904&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT mccarthyjay trendsinfunctionalprogramming14thinternationalsymposiumtfp2013provoutusamay14162013revisedselectedpapers AT tfpprovoutah trendsinfunctionalprogramming14thinternationalsymposiumtfp2013provoutusamay14162013revisedselectedpapers |