Implementation and application of functional languages: 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
5836 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | X, 290 S. graph. Darst. 24 cm |
| ISBN: | 9783642244513 3642244513 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039612851 | ||
| 003 | DE-604 | ||
| 005 | 20111019 | ||
| 007 | t| | ||
| 008 | 111004s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N36 |2 dnb | ||
| 015 | |a 11,A40 |2 dnb | ||
| 016 | 7 | |a 1014764289 |2 DE-101 | |
| 020 | |a 9783642244513 |c kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-24451-3 | ||
| 020 | |a 3642244513 |9 3-642-24451-3 | ||
| 024 | 3 | |a 9783642244513 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80083815 |
| 035 | |a (OCoLC)756372806 | ||
| 035 | |a (DE-599)DNB1014764289 | ||
| 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 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers |c Sven-Bodo Scholz ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a X, 290 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 5836 | |
| 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 2008 |z Hatfield |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Scholz, Sven-Bodo |e Sonstige |4 oth | |
| 711 | 2 | |a IFL |n 20 |d 2008 |c Hatfield |j Sonstige |0 (DE-588)16324350-5 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Implementation and Application of Functional Languages |
| 830 | 0 | |a Lecture notes in computer science |v 5836 |w (DE-604)BV000000607 |9 5836 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3873364&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=024463451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024463451 | |
Record in the Search Index
| _version_ | 1820875349791080448 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
SCANS AND CONVOLUTIONS- A CALCULATIONAL PROOF OF MOESSNER'S THEOREM 1
RALF HINZE
FROM FUNCTIONAL LOGIC PROGRAMS TO PURELY FUNCTIONAL PROGRAMS PRESERVING
LAZINESS 25
BERND BRASSEL AND SEBASTIAN FISCHER
AN INTERACTION NET IMPLEMENTATION OF CLOSED REDUCTION 43
IAN MACKIE
IMPLEMENTATION ARCHITECTURE AND MULTITHREADED RUNTIME SYSTEM OF S-NET 60
CLEMENS GRELCK AND FRANK PENCZEK
PARSING MIXFIX OPERATORS 80
NILS ANDERS DANIELSSON AND ULF NORELL
DESCRIPTOR-FREE REPRESENTATION OF ARRAYS WITH DEPENDENT TYPES 100 KAI
TROJAHNER AND CLEMENS GRELCK
COLLECTED SIZE SEMANTICS FOR FUNCTIONAL PROGRAMS OVER LISTS 118 OLHA
SHKARAVSKA, MARKO VAN EEKELEN, AND ALEJANDRO TAMALET
EMBEDDING A FUNCTIONAL HYBRID MODELLING LANGUAGE IN HASKELL 138 GEORGE
GIORGIDZE AND HENRIK NILSSON
OBSIDIAN: A DOMAIN SPECIFIC EMBEDDED LANGUAGE FOR PARALLEL PROGRAMMING
OF GRAPHICS PROCESSORS 156
JOEL SVENSSON, MARY SHEERAN, AND KOEN CLAESSEN
A LIBRARY FOR PROCESSING AD HOC DATA IN HASKELL: EMBEDDING A DATA
DESCRIPTION LANGUAGE 174
YAN WANG AND VERONICA GASPES
IEDITORS: EXTENDING ITASK WITH INTERACTIVE PLUG-INS 192
JAN MARTIN JANSEN, RINUS PLASMEIJER, AND PIETER KOOPMAN
AN EXECUTABLE AND TESTABLE SEMANTICS FOR ITASKS 212
PIETER KOOPMAN, RINUS PLASMEIJER, AND PETER ACHTEN
MONATRON: AN EXTENSIBLE MONAD TRANSFORMER LIBRARY 233
MAURO JASKELIOFF
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1014764289
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
CATCH ME IF YOU CAN: LOOKING FOR TYPE-SAFE, HIERARCHICAL, LIGHTWEIGHT,
POLYMORPHIC AND EFFICIENT ERROR MANAGEMENT IN OCAML 249
DAVID TELLER, ARNAUD SPIWACK, AND TILL VAROQUAUX
BETWEEN TYPES AND TABLES: USING GENERIC PROGRAMMING FOR AUTOMATED
MAPPING BETWEEN DATA TYPES AND RELATIONAL DATABASES 272
BAS LIJNSE AND RINUS PLASMEIJER
AUTHOR INDEX 291 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039612851 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)756372806 (DE-599)DNB1014764289 |
| 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">BV039612851</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111019</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,N36</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A40</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1014764289</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642244513</subfield><subfield code="c">kart. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-24451-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642244513</subfield><subfield code="9">3-642-24451-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642244513</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80083815</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)756372806</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1014764289</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">20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers</subfield><subfield code="c">Sven-Bodo Scholz ... (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, 290 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">5836</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">2008</subfield><subfield code="z">Hatfield</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">Scholz, Sven-Bodo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">IFL</subfield><subfield code="n">20</subfield><subfield code="d">2008</subfield><subfield code="c">Hatfield</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16324350-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Implementation and Application of Functional Languages</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5836</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5836</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=3873364&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=024463451&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-024463451</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Hatfield gnd-content |
| genre_facet | Konferenzschrift 2008 Hatfield |
| id | DE-604.BV039612851 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:13Z |
| institution | BVB |
| institution_GND | (DE-588)16324350-5 |
| isbn | 9783642244513 3642244513 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024463451 |
| oclc_num | 756372806 |
| 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, 290 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 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers Sven-Bodo Scholz ... (eds.) Berlin [u.a.] Springer 2011 X, 290 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5836 Literaturangaben Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Hatfield gnd-content Funktionale Programmiersprache (DE-588)4129948-6 s DE-604 Scholz, Sven-Bodo Sonstige oth IFL 20 2008 Hatfield Sonstige (DE-588)16324350-5 oth Erscheint auch als Online-Ausgabe Implementation and Application of Functional Languages Lecture notes in computer science 5836 (DE-604)BV000000607 5836 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3873364&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=024463451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Implementation and application of functional languages 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; 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 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers |
| title_auth | Implementation and application of functional languages 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers |
| title_exact_search | Implementation and application of functional languages 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers |
| title_full | Implementation and application of functional languages 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers Sven-Bodo Scholz ... (eds.) |
| title_fullStr | Implementation and application of functional languages 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers Sven-Bodo Scholz ... (eds.) |
| title_full_unstemmed | Implementation and application of functional languages 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers Sven-Bodo Scholz ... (eds.) |
| title_short | Implementation and application of functional languages |
| title_sort | implementation and application of functional languages 20th international symposium ifl 2008 hatfield uk september 10 12 2008 revised selected papers |
| title_sub | 20th international symposium, IFL 2008, Hatfield, UK, September 10 - 12, 2008 ; revised selected papers |
| topic | Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| topic_facet | Funktionale Programmiersprache Konferenzschrift 2008 Hatfield |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3873364&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=024463451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT scholzsvenbodo implementationandapplicationoffunctionallanguages20thinternationalsymposiumifl2008hatfieldukseptember10122008revisedselectedpapers AT iflhatfield implementationandapplicationoffunctionallanguages20thinternationalsymposiumifl2008hatfieldukseptember10122008revisedselectedpapers |