Verfügbarkeit: Central european functional programming school

Central european functional programming school: Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture Notes in Computer Science 6299
Schlagworte:	Funktionale Programmierung Konferenzschrift > 2009 > Budapest
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	390 S. graph. Darst.
ISBN:	9783642176845 3642176844

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036964149
003	DE-604
005	20110121
007	t\|
008	110118s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N45 \|2 dnb
016	7		\|a 1008091545 \|2 DE-101
020			\|a 9783642176845 \|c Pb. : EUR 66.34 (DE) (freier Pr.), sfr 89.00 (freier Pr.) \|9 978-3-642-17684-5
020			\|a 3642176844 \|c Pb. : EUR 66.34 (DE) (freier Pr.), sfr 89.00 (freier Pr.) \|9 3-642-17684-4
024	3		\|a 9783642176845
028	5	2	\|a Best.-Nr.: 80029089
035			\|a (OCoLC)700051599
035			\|a (DE-599)DNB1008091545
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-11 \|a DE-83
082	0		\|a 005.114 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 544f \|2 stub
245	1	0	\|a Central european functional programming school \|b Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures \|c Zoltán Horváth ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a 390 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 6299 : Tutorial
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 2009 \|z Budapest \|2 gnd-content
689	0	0	\|a Funktionale Programmierung \|0 (DE-588)4198740-8 \|D s
689	0		\|5 DE-604
700	1		\|a Horváth, Zoltán \|e Sonstige \|4 oth
711	2		\|a Central European Functional Programming School \|n 3 \|d 2009 \|c Budapest; Komárno \|j Sonstige \|0 (DE-588)16097378-8 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 6299 \|w (DE-604)BV000000607 \|9 6299
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3557266&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020878988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020878988

Datensatz im Suchindex

_version_	1820875288144248832
adam_text	IMAGE 1 TABLE OF CONTENTS RAPID PROTOTYPING OF DSLS WITH F# 1 ADAM GRANICZ ERLANG BEHAVIOURS: PROGRAMMING WITH PROCESS DESIGN PATTERNS 19 FRANCESCO CESARINI AND SIMON THOMPSON REASONING ABOUT CODATA 42 RALF HINZE PROGRAMMING IN MANTICORE, A HETEROGENOUS PARALLEL FUNCTIONAL LANGUAGE 94 MATTHEW FLUET, LARS BERGSTROM, NIE FORD, MIKE RAINEY, JOHN REPPY, ADAM SHAW, AND YINGQI XIAO NON-MONADIC MODELS OF MUTABLE REFERENCES 146 PETER DIVIANSZKY SOFTWARE TESTING WITH QUICKCHECK 183 JOHN HUGHES AN EFFECTIVE METHODOLOGY FOR DEFINING CONSISTENT SEMANTICS OF COMPLEX SYSTEMS 224 PIETER KOOPMAN, RINUS PLASMEIJER, AND PETER ACHTEN TYPES FOR UNITS-OF-MEASURE: THEORY AND PRACTICE 268 ANDREW KENNEDY FUNCTIONAL PROGRAMMING WITH C ++ TEMPLATE METAPROGRAMS 306 ZOLTAN PORKOLAB EMBEDDING A PROOF SYSTEM IN HASKEIL 354 GERGELY DEVAI IMPACT ANALYSIS OF ERLANG PROGRAMS USING BEHAVIOUR DEPENDENCY GRAPHS 372 MELINDA TOTH, ISTVAN BOZO, ZOLTAN HORVATH, LASZLO LOEVEI, MATE TEJFEL, AND TAMAS KOZSIK AUTHOR INDEX 391 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1008091545 DIGITALISIERT DURCH
any_adam_object	1
building	Verbundindex
bvnumber	BV036964149
classification_rvk	SS 4800
classification_tum	DAT 544f
ctrlnum	(OCoLC)700051599 (DE-599)DNB1008091545
dewey-full	005.114
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.114
dewey-search	005.114
dewey-sort	15.114
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
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">BV036964149</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110121</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110118s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N45</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1008091545</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642176845</subfield><subfield code="c">Pb. : EUR 66.34 (DE) (freier Pr.), sfr 89.00 (freier Pr.)</subfield><subfield code="9">978-3-642-17684-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642176844</subfield><subfield code="c">Pb. : EUR 66.34 (DE) (freier Pr.), sfr 89.00 (freier Pr.)</subfield><subfield code="9">3-642-17684-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642176845</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80029089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700051599</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1008091545</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.114</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">Central european functional programming school</subfield><subfield code="b">Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures</subfield><subfield code="c">Zoltán Horváth ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">390 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">6299 : Tutorial</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">2009</subfield><subfield code="z">Budapest</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">Horváth, Zoltán</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Central European Functional Programming School</subfield><subfield code="n">3</subfield><subfield code="d">2009</subfield><subfield code="c">Budapest; Komárno</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16097378-8</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">6299</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6299</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3557266&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=020878988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020878988</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2009 Budapest gnd-content
genre_facet	Konferenzschrift 2009 Budapest
id	DE-604.BV036964149
illustrated	Illustrated
indexdate	2025-01-10T15:13:14Z
institution	BVB
institution_GND	(DE-588)16097378-8
isbn	9783642176845 3642176844
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020878988
oclc_num	700051599
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
owner_facet	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
physical	390 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Central european functional programming school Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures Zoltán Horváth ... (eds.) Berlin [u.a.] Springer 2010 390 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6299 : Tutorial Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Budapest gnd-content Funktionale Programmierung (DE-588)4198740-8 s DE-604 Horváth, Zoltán Sonstige oth Central European Functional Programming School 3 2009 Budapest; Komárno Sonstige (DE-588)16097378-8 oth Lecture Notes in Computer Science 6299 (DE-604)BV000000607 6299 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3557266&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020878988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Central european functional programming school Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures Lecture Notes in Computer Science Funktionale Programmierung (DE-588)4198740-8 gnd
subject_GND	(DE-588)4198740-8 (DE-588)1071861417
title	Central european functional programming school Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures
title_auth	Central european functional programming school Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures
title_exact_search	Central european functional programming school Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures
title_full	Central european functional programming school Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures Zoltán Horváth ... (eds.)
title_fullStr	Central european functional programming school Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures Zoltán Horváth ... (eds.)
title_full_unstemmed	Central european functional programming school Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures Zoltán Horváth ... (eds.)
title_short	Central european functional programming school
title_sort	central european functional programming school third summer school cefp 2009 budapest hungary may 21 23 2009 and komarno slovakia may 25 30 2009 revised selected lectures
title_sub	Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 ; revised selected lectures
topic	Funktionale Programmierung (DE-588)4198740-8 gnd
topic_facet	Funktionale Programmierung Konferenzschrift 2009 Budapest
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3557266&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020878988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT horvathzoltan centraleuropeanfunctionalprogrammingschoolthirdsummerschoolcefp2009budapesthungarymay21232009andkomarnoslovakiamay25302009revisedselectedlectures AT centraleuropeanfunctionalprogrammingschoolbudapestkomarno centraleuropeanfunctionalprogrammingschoolthirdsummerschoolcefp2009budapesthungarymay21232009andkomarnoslovakiamay25302009revisedselectedlectures

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge