Trends in functional programming 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers
Gespeichert in:
Format: | Elektronisch Tagungsbericht E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
Schriftenreihe: | Lecture notes in computer science
7829 |
Schlagworte: | |
Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV041437539 | ||
003 | DE-604 | ||
005 | 20140213 | ||
007 | cr|uuu---uuuuu | ||
008 | 131122s2013 xx ad|| o|||| 10||| eng d | ||
020 | |a 9783642404467 |9 978-3-642-40446-7 | ||
020 | |a 9783642404474 |c eISBN |9 978-3-642-40447-4 | ||
024 | 7 | |a 10.1007/978-3-642-40447-4 |2 doi | |
035 | |a (OCoLC)859539255 | ||
035 | |a (DE-599)BVBBV041437539 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
082 | 0 | |a 005.11 | |
084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
084 | |a DAT 544f |2 stub | ||
084 | |a DAT 000 |2 stub | ||
245 | 1 | 0 | |a Trends in functional programming |b 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers |c Hans-Wolfgang Loidl ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
300 | |a 1 Online-Ressource (X, 310 S.) |b Ill., 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 7829 | |
500 | |a Literaturangaben | ||
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 2012 |z St. Andrews |2 gnd-content | |
689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Loidl, Hans-Wolfgang |e Sonstige |0 (DE-588)1038352657 |4 oth | |
711 | 2 | |a TFP |n 13 |d 2012 |c Saint Andrews |j Sonstige |0 (DE-588)1041262647 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 7829 |w (DE-604)BV014880109 |9 7829 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-40447-4 |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=026884373&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
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=026884373&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-SCS | ||
912 | |a ZDB-2-LNC | ||
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026884373 |
Datensatz im Suchindex
_version_ | 1819689162245144576 |
---|---|
adam_text | TRENDS IN FUNCTIONAL PROGRAMMING
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
VARIOUS ASPECTS OF TRENDS IN FUNCTIONAL PROGRAMMING
COMBINING DEEP AND SHALLOW EMBEDDING FOR EDSL
THE BLAME THEOREM FOR A LINEAR LAMBDA CALCULUS WITH TYPE DYNAMIC
HIGHER-ORDER SIZE CHECKING WITHOUT SUBTYPING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
TRENDS IN FUNCTIONAL PROGRAMMING
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED REVISED SELECTED PAPERS OF
THE 13TH INTERNATIONAL SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING,
TFP 2012, HELD IN ST ANDREWS, SCOTLAND, UK IN JUNE 2012. THE 18 REVISED
FULL PAPERS INCLUDED IN THIS VOLUME WERE CAREFULLY AND SELECTED FROM 49
SUBMISSIONS AND ARE COMPLEMENTED WITH AN INVITED PAPER. THEY COVER
VARIOUS ASPECTS OF TRENDS IN FUNCTIONAL PROGRAMMING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author_GND | (DE-588)1038352657 |
building | Verbundindex |
bvnumber | BV041437539 |
classification_rvk | SS 4800 |
classification_tum | DAT 544f DAT 000 |
collection | ZDB-2-SCS ZDB-2-LNC |
ctrlnum | (OCoLC)859539255 (DE-599)BVBBV041437539 |
dewey-full | 005.11 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.11 |
dewey-search | 005.11 |
dewey-sort | 15.11 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
doi_str_mv | 10.1007/978-3-642-40447-4 |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02358nam a2200481 cb4500</leader><controlfield tag="001">BV041437539</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140213 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131122s2013 xx ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642404467</subfield><subfield code="9">978-3-642-40446-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642404474</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-40447-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40447-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)859539255</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041437539</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-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</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-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</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">DAT 000</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">13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers</subfield><subfield code="c">Hans-Wolfgang Loidl ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 310 S.)</subfield><subfield code="b">Ill., 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">7829</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">2012</subfield><subfield code="z">St. Andrews</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">Loidl, Hans-Wolfgang</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1038352657</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TFP</subfield><subfield code="n">13</subfield><subfield code="d">2012</subfield><subfield code="c">Saint Andrews</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041262647</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">7829</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7829</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40447-4</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=026884373&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=026884373&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</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-026884373</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2012 St. Andrews gnd-content |
genre_facet | Konferenzschrift 2012 St. Andrews |
id | DE-604.BV041437539 |
illustrated | Illustrated |
indexdate | 2024-12-24T03:56:32Z |
institution | BVB |
institution_GND | (DE-588)1041262647 |
isbn | 9783642404467 9783642404474 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026884373 |
oclc_num | 859539255 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
physical | 1 Online-Ressource (X, 310 S.) Ill., graph. Darst. |
psigel | ZDB-2-SCS ZDB-2-LNC |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spellingShingle | Trends in functional programming 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; 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 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers |
title_auth | Trends in functional programming 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers |
title_exact_search | Trends in functional programming 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers |
title_full | Trends in functional programming 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers Hans-Wolfgang Loidl ... (eds.) |
title_fullStr | Trends in functional programming 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers Hans-Wolfgang Loidl ... (eds.) |
title_full_unstemmed | Trends in functional programming 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers Hans-Wolfgang Loidl ... (eds.) |
title_short | Trends in functional programming |
title_sort | trends in functional programming 13th international symposium tfp 2012 st andrews uk june 12 14 2012 revised selected papers |
title_sub | 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers |
topic | Funktionale Programmierung (DE-588)4198740-8 gnd |
topic_facet | Funktionale Programmierung Konferenzschrift 2012 St. Andrews |
url | https://doi.org/10.1007/978-3-642-40447-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026884373&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026884373&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT loidlhanswolfgang trendsinfunctionalprogramming13thinternationalsymposiumtfp2012standrewsukjune12142012revisedselectedpapers AT tfpsaintandrews trendsinfunctionalprogramming13thinternationalsymposiumtfp2012standrewsukjune12142012revisedselectedpapers |