Trends in functional programming 13th international symposium, TFP 2012, St. Andrews, UK, June 12 -14, 2012 ; revised selected papers

Gespeichert in:
Bibliographische Detailangaben
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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=026884373&amp;sequence=000001&amp;line_number=0001&amp;func_code=DB_RECORDS&amp;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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=026884373&amp;sequence=000003&amp;line_number=0002&amp;func_code=DB_RECORDS&amp;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