Verfügbarkeit: Implementation and application of functional languages

Implementation and application of functional languages: 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6647
Schlagworte:	Funktionale Programmiersprache Konferenzschrift > 2010 > Alphen aan den Rijn
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	Literaturangaben
Beschreibung:	X, 216 S. graph. Darst. 24 cm
ISBN:	9783642242755 3642242758

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039612776
003	DE-604
005	20150316
007	t\|
008	111004s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N35 \|2 dnb
016	7		\|a 1014484278 \|2 DE-101
020			\|a 9783642242755 \|c kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) \|9 978-3-642-24275-5
020			\|a 3642242758 \|9 3-642-24275-8
024	3		\|a 9783642242755
028	5	2	\|a Best.-Nr.: 80113542
035			\|a (OCoLC)844940401
035			\|a (DE-599)DNB1014484278
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-83 \|a DE-91G \|a DE-11
082	0		\|a 005.114 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 544f \|2 stub
245	1	0	\|a Implementation and application of functional languages \|b 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers \|c Jurriaan Hage ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a X, 216 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6647
500			\|a Literaturangaben
650	0	7	\|a Funktionale Programmiersprache \|0 (DE-588)4129948-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Alphen aan den Rijn \|2 gnd-content
689	0	0	\|a Funktionale Programmiersprache \|0 (DE-588)4129948-6 \|D s
689	0		\|5 DE-604
700	1		\|a Hage, Jurriaan \|d 1969- \|e Sonstige \|0 (DE-588)1068488972 \|4 oth
711	2		\|a IFL \|n 22 \|d 2010 \|c Alphen aan den Rijn \|j Sonstige \|0 (DE-588)16324353-0 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6647 \|w (DE-604)BV000000607 \|9 6647
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3869609&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=024463377&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024463377

Datensatz im Suchindex

_version_	1820875349778497536
adam_text	IMAGE 1 TABLE OF CONTENTS HASKELL BOARDS THE FERRY: DATABASE-SUPPORTED PROGRAM EXECUTION FOR HASKELL 1 GEORGE GIORGIDZE, TORSTEN GRUST, TOM SCHREIBER, AND JEROEN WEIJERS THEORY AND PRACTICE OF FUSION 19 RALF HINZE, THOMAS HARPER, AND DANIEL W.H. JAMES ORTHOGONAL SERIALISATION FOR HASKELL 38 JOST BERTHOLD INTRODUCING THE PILGRIM: A PROCESSOR FOR EXECUTING LAZY FUNCTIONAL LANGUAGES 54 ARYAN BOEIJINK, PHILIP K.F. HOELZENSPIES, AND JAN KUPER AUTOMATING DERIVATIONS OF ABSTRACT MACHINES FROM REDUCTION SEMANTICS: A GENERIC FORMALIZATION OF REFOCUSING IN COQ 72 FILIP SIECZKOWSKI, MALGORZATA BIERNACKA, AND DARIUSZ BIERNACKI FROM BAYESIAN NOTATION TO PURE RACKET VIA DISCRETE MEASURE-THEORETIC PROBABILITY IN AZFC 89 NEIL TORONTO AND JAY MCCARTHY DEPENDENTLY TYPED ATTRIBUTE GRAMMARS 105 ARIE MIDDELKOOP, ATZE DIJKSTRA, AND S. DOAITSE SWIERSTRA THE DESIGN AND IMPLEMENTATION OF FELDSPAR: AN EMBEDDED LANGUAGE FOR DIGITAL SIGNAL PROCESSING 121 EMIL AXELSSON, KOEN CLAESSEN, MARY SHEERAN, JOSEF SVENNINGSSON, DAVID ENGDAL, AND ANDERS PERSSON PURITY IN ERLANG 137 MIHALIS PITIDIS AND KONSTANTINOS SAGONAS ITASK AS A NEW PARADIGM FOR BUILDING GUI APPLICATIONS 153 STEFFEN MICHELS, RINUS PLASMEIJER, AND PETER ACHTEN IMPROVING YOUR CASH FLOW: THE COMPUTER ALGEBRA SHELL 169 CHRISTOPHER BROWN, H ANS-WOLFGANG LOIDL, JOST BERTHOLD, AND KEVIN HAMMOND BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1014484278 DIGITALISIERT DURCH IMAGE 2 X TABLE OF CONTENTS CONCURRENT NON-DEFERRED REFERENCE COUNTING ON THE MICROGRID: FIRST EXPERIENCES 185 STEPHAN HERHUT, CARL JOSLIN, SVEN-BODO SCHOLZ, RAPHAEL POSS, AND CLEMENS GRELCK COMPOSING REACTIVE GUIS IN F# USING WEBSHARPER 203 JOEL BJORNSON, ANTON TAYANOVSKYY, AND ADAM GRANICZ AUTHOR INDEX 217
any_adam_object	1
author_GND	(DE-588)1068488972
building	Verbundindex
bvnumber	BV039612776
classification_rvk	SS 4800
classification_tum	DAT 544f
ctrlnum	(OCoLC)844940401 (DE-599)DNB1014484278
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">BV039612776</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150316</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">111004s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N35</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1014484278</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642242755</subfield><subfield code="c">kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-24275-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642242758</subfield><subfield code="9">3-642-24275-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642242755</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80113542</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844940401</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1014484278</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</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">Implementation and application of functional languages</subfield><subfield code="b">22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers</subfield><subfield code="c">Jurriaan Hage ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 216 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6647</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</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">2010</subfield><subfield code="z">Alphen aan den Rijn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</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">Hage, Jurriaan</subfield><subfield code="d">1969-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1068488972</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">IFL</subfield><subfield code="n">22</subfield><subfield code="d">2010</subfield><subfield code="c">Alphen aan den Rijn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16324353-0</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">6647</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6647</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=3869609&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=024463377&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-024463377</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Alphen aan den Rijn gnd-content
genre_facet	Konferenzschrift 2010 Alphen aan den Rijn
id	DE-604.BV039612776
illustrated	Illustrated
indexdate	2025-01-10T15:14:12Z
institution	BVB
institution_GND	(DE-588)16324353-0
isbn	9783642242755 3642242758
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024463377
oclc_num	844940401
open_access_boolean
owner	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
physical	X, 216 S. graph. Darst. 24 cm
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers Jurriaan Hage ... (eds.) Berlin [u.a.] Springer 2011 X, 216 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6647 Literaturangaben Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Alphen aan den Rijn gnd-content Funktionale Programmiersprache (DE-588)4129948-6 s DE-604 Hage, Jurriaan 1969- Sonstige (DE-588)1068488972 oth IFL 22 2010 Alphen aan den Rijn Sonstige (DE-588)16324353-0 oth Lecture notes in computer science 6647 (DE-604)BV000000607 6647 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3869609&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=024463377&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers Lecture notes in computer science Funktionale Programmiersprache (DE-588)4129948-6 gnd
subject_GND	(DE-588)4129948-6 (DE-588)1071861417
title	Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers
title_auth	Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers
title_exact_search	Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers
title_full	Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers Jurriaan Hage ... (eds.)
title_fullStr	Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers Jurriaan Hage ... (eds.)
title_full_unstemmed	Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers Jurriaan Hage ... (eds.)
title_short	Implementation and application of functional languages
title_sort	implementation and application of functional languages 22nd international symposium ifl 2010 alphen aan den rijn the netherlands september 1 3 2010 revised selected papers
title_sub	22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1 - 3, 2010 ; revised selected papers
topic	Funktionale Programmiersprache (DE-588)4129948-6 gnd
topic_facet	Funktionale Programmiersprache Konferenzschrift 2010 Alphen aan den Rijn
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3869609&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=024463377&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT hagejurriaan implementationandapplicationoffunctionallanguages22ndinternationalsymposiumifl2010alphenaandenrijnthenetherlandsseptember132010revisedselectedpapers AT iflalphenaandenrijn implementationandapplicationoffunctionallanguages22ndinternationalsymposiumifl2010alphenaandenrijnthenetherlandsseptember132010revisedselectedpapers

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