Verfügbarkeit: Practical aspects of declarative languages

Practical aspects of declarative languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Flatt, Matthew (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8324
Schlagwörter:	Deklarative Programmiersprache Konferenzschrift > 2014 > San Diego, Calif.
Links:	https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 https://doi.org/10.1007/978-3-319-04132-2 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
Umfang:	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

DE-BY-TUM_katkey	1989915
_version_	1821935213121372160
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-11T19:06:47Z
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
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

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen
Inhaltsverzeichnis