Practical aspects of declarative languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8324 |
| Schlagworte: | |
| Online-Zugang: | 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 Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (VIII, 231 S.) |
| ISBN: | 9783319041315 9783319041322 |
| DOI: | 10.1007/978-3-319-04132-2 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041736275 | ||
| 003 | DE-604 | ||
| 005 | 20160607 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140314s2014 xx o|||| 10||| eng d | ||
| 020 | |a 9783319041315 |9 978-3-319-04131-5 | ||
| 020 | |a 9783319041322 |c Online |9 978-3-319-04132-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-04132-2 |2 doi | |
| 035 | |a (OCoLC)867052348 | ||
| 035 | |a (DE-599)BVBBV041736275 | ||
| 040 | |a DE-604 |b ger | ||
| 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 | ||
| 082 | 0 | |a 005.13 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Practical aspects of declarative languages |b 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings |c Matthew Flatt ... (eds.) |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (VIII, 231 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8324 | |
| 650 | 0 | 7 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z San Diego, Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Flatt, Matthew |0 (DE-588)1102936766 |4 edt | |
| 711 | 2 | |a PADL |n 16. |d 2014 |c San Diego, Calif. |j Sonstige |0 (DE-588)1046797069 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8324 |w (DE-604)BV014880109 |9 8324 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-04132-2 |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=027182966&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=027182966&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027182966 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-04132-2 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875565532446720 |
|---|---|
| adam_text |
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
A PRESCRIPTION FOR SAFELY RELAXING
PARTIAL TYPE SIGNATURES FOR HASKELL
THE F# COMPUTATION EXPRESSION ZOO
ABSTRACT MODULAR INFERENCE SYSTEMS AND SOLVERS
SUNROOF: A MONADIC DSL FOR GENERATING JAVASCRIPT
COMPILING DNA STRAND DISPLACEMENT REACTIONS USING A FUNCTIONAL
PROGRAMMING LANGUAGE
TWO APPLICATIONS OF THE ASP-PROLOG SYSTEM: DECOMPOSABLE PROGRAMS AND
MULTI-CONTEXT SYSTEMS
TOWARDS MODELING MORALITY COMPUTATIONALLY WITH LOGIC PROGRAMMING
A DECLARATIVE SPECIFICATION OF GIANT NUMBER ARITHMETIC
EMBEDDING FOREIGN CODE
EXPLORING THE USE OF GPUS IN CONSTRAINT SOLVING
ON THE CORRECTNESS AND EFFICIENCY OF LOCK-FREE EXPANDABLE TRIES FOR
TABLED LOGIC PROGRAMS
TYPELETS — A RULE-BASED EVALUATION MODEL FOR DYNAMIC, STATICALLY TYPED
USER INTERFACES
EXPAND: TOWARDS AN EXTENSIBLE PANDOC SYSTEM
GENERIC PROGRAMMING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 16TH INTERNATIONAL
SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2014, HELD
IN SANDIEGO, CA, USA, IN JANUARY 2014, CO-LOCATED WITH POPL 2014, THE
41ST SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. THE 15 REVISED
PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 27
SUBMISSIONS. THEY COVER A WIDE RANGE OF TOPICS RELATED TO LOGIC AND
FUNCTIONAL PROGRAMING, INCLUDING LANGUAGE SUPPORT FOR PARALLELISM AND
GPUS, CONSTRUCTS AND TECHNIQUES FOR MODULARITY AND EXTENSIBILITY, AND
APPLICATIONS OF DECLARATIVE PROGRAMMING TO DOCUMENT PROCESSING AND DNA
SIMULATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Flatt, Matthew |
| author2_role | edt |
| author2_variant | m f mf |
| author_GND | (DE-588)1102936766 |
| author_facet | Flatt, Matthew |
| building | Verbundindex |
| bvnumber | BV041736275 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 350f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)867052348 (DE-599)BVBBV041736275 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-04132-2 |
| 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">BV041736275</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160607</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140314s2014 xx o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319041315</subfield><subfield code="9">978-3-319-04131-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319041322</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-04132-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-04132-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)867052348</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041736275</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical aspects of declarative languages</subfield><subfield code="b">16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings</subfield><subfield code="c">Matthew Flatt ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [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 (VIII, 231 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">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">8324</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</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">2014</subfield><subfield code="z">San Diego, Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</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">Flatt, Matthew</subfield><subfield code="0">(DE-588)1102936766</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PADL</subfield><subfield code="n">16.</subfield><subfield code="d">2014</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1046797069</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">8324</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8324</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-04132-2</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=027182966&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=027182966&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-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027182966</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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-319-04132-2</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 2014 San Diego, Calif. gnd-content |
| genre_facet | Konferenzschrift 2014 San Diego, Calif. |
| id | DE-604.BV041736275 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:17:39Z |
| institution | BVB |
| institution_GND | (DE-588)1046797069 |
| isbn | 9783319041315 9783319041322 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027182966 |
| oclc_num | 867052348 |
| 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 (VIII, 231 S.) |
| 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 | Practical aspects of declarative languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings Matthew Flatt ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (VIII, 231 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8324 Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 San Diego, Calif. gnd-content Deklarative Programmiersprache (DE-588)4293502-7 s DE-604 Flatt, Matthew (DE-588)1102936766 edt PADL 16. 2014 San Diego, Calif. Sonstige (DE-588)1046797069 oth Lecture notes in computer science 8324 (DE-604)BV014880109 8324 https://doi.org/10.1007/978-3-319-04132-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027182966&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027182966&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Practical aspects of declarative languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings Lecture notes in computer science Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| subject_GND | (DE-588)4293502-7 (DE-588)1071861417 |
| title | Practical aspects of declarative languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings |
| title_auth | Practical aspects of declarative languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings |
| title_exact_search | Practical aspects of declarative languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings |
| title_full | Practical aspects of declarative languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings Matthew Flatt ... (eds.) |
| title_fullStr | Practical aspects of declarative languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings Matthew Flatt ... (eds.) |
| title_full_unstemmed | Practical aspects of declarative languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings Matthew Flatt ... (eds.) |
| title_short | Practical aspects of declarative languages |
| title_sort | practical aspects of declarative languages 16th international symposium padl 2014 san diego ca usa january 20 21 2014 proceedings |
| title_sub | 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings |
| topic | Deklarative Programmiersprache (DE-588)4293502-7 gnd |
| topic_facet | Deklarative Programmiersprache Konferenzschrift 2014 San Diego, Calif. |
| url | https://doi.org/10.1007/978-3-319-04132-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027182966&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=027182966&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT flattmatthew practicalaspectsofdeclarativelanguages16thinternationalsymposiumpadl2014sandiegocausajanuary20212014proceedings AT padlsandiegocalif practicalaspectsofdeclarativelanguages16thinternationalsymposiumpadl2014sandiegocausajanuary20212014proceedings |