Trends in Functional Programming, Volume 7:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Bristol, UK
Intellect Books
2007
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references Cover -- TOC36;Contents -- Preface -- CH36;1 Proving Termination Using Dependent Types58; the Case of Xor45;Terms -- 146;1 Introduction -- 146;2 Background -- 146;3 Our approach -- 146;4 Formalization -- 146;5 Conclusion -- References -- CH36;2 Proving the Correctness of Algorithmic Debugging for Functional Programs -- 246;1 Introduction -- 246;2 Algorithmic debugging -- 246;3 Formalising the Augmented Redex Trail -- 246;4 Generating an Evaluation Dependency Tree -- 246;5 Properties of the Evaluation Dependency Tree -- 246;6 Conclusion and future work -- References -- CH36;3 Systematic Synthesis of Functions -- 346;1 Introduction -- 346;2 Function generation -- 346;3 Controlling the candidate functions -- 346;4 Generation of multi45;argument functions -- 346;5 Synthesis of functions over other data types -- 346;6 Other properties -- 346;7 Related work -- 346;8 Conclusion -- References -- CH36;4 A Purely Functional Implementation of ROBDDs in Haskell -- 446;1 Introduction -- - 446;2 ROBDDs -- 446;3 ROBDD implementation in Haskell -- 446;4 Laziness -- 446;5 Experimental results -- 446;6 Equality check -- 446;7 Related work -- 446;8 Conclusion -- References -- CH36;5 Efficient Interpretation by Transforming Data Types and Patterns to Functions -- 546;1 Introduction -- 546;2 Representation of data types by functions -- 546;3 SAPL58; an intermediate functional language -- 546;4 An interpreter for SAPL -- 546;5 Benchmarks -- 546;6 Conclusions and further research possibilities -- References -- CH36;6 Object45;Oriented Programming in Dependent Type Theory -- 646;1 Introduction -- 646;2 Basic concepts of Dependent Type Theory -- 646;3 Interactive programs in Dependent Type Theory -- 646;4 Simple objects -- 646;5 Combining objects without self45;referential calls -- 646;6 Combining objects with self45;referential calls -- 646;7 Conclusion -- References -- CH36;7 A Sharing Analysis for SAFE -- 746;1 Introduction -- 746;2 Summary of Safe -- 746;3 Sharing analysis -- - 746;4 Implementation and examples -- 746;5 A more involved example -- 746;6 Related work and conclusions -- References -- CH36;8 Memory Usage Improvement Using Runtime Alias Detection -- 846;1 Introduction -- 846;2 Overview of the Tofte47;Talpin System -- 846;3 Run45;time alias detection -- 846;4 Evaluation -- 846;5 Related work -- 846;6 Future work -- 846;7 Conclusion -- References -- CH36;9 A Model of Functional Programming with Dynamic Compilation and Optimization -- 946;1 Introduction -- 946;2 Virtual machines and dynamic translation -- 946;3 Formal framework -- 946;4 Case study58; Guarded feedback45;driven inlining -- 946;5 Related work -- 946;6 Future work -- 946;7 Conclusion -- References -- CH36;10 Functional Concepts in C43;43; -- 1046;1 Introduction -- 1046;2 Translation of typed 38;35;95559;45;terms into C43;43; -- 1046;3 Proof of correctness -- 1046;4 Lazy evaluation in C43;43; -- 1046;5 Conclusion -- References -- CH36;11 Resource45;Based Web Applications -- - 1146;1 Introduction -- 1146;2 Transfer of resource representations -- 1146;3 A res This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006 |
| Beschreibung: | 1 Online-Ressource (1 v.) |
| ISBN: | 1281187461 1841509930 9781281187468 9781841509938 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043086960 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2007 |||| o||u| ||||||eng d | ||
| 020 | |a 1281187461 |9 1-281-18746-1 | ||
| 020 | |a 1841509930 |c electronic bk. |9 1-84150-993-0 | ||
| 020 | |a 9781281187468 |9 978-1-281-18746-8 | ||
| 020 | |a 9781841509938 |c electronic bk. |9 978-1-84150-993-8 | ||
| 035 | |a (OCoLC)190666671 | ||
| 035 | |a (DE-599)BVBBV043086960 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.1/14 |2 22 | |
| 245 | 1 | 0 | |a Trends in Functional Programming, Volume 7 |c edited by Henrik Nilsson |
| 264 | 1 | |a Bristol, UK |b Intellect Books |c 2007 | |
| 300 | |a 1 Online-Ressource (1 v.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references | ||
| 500 | |a Cover -- TOC36;Contents -- Preface -- CH36;1 Proving Termination Using Dependent Types58; the Case of Xor45;Terms -- 146;1 Introduction -- 146;2 Background -- 146;3 Our approach -- 146;4 Formalization -- 146;5 Conclusion -- References -- CH36;2 Proving the Correctness of Algorithmic Debugging for Functional Programs -- 246;1 Introduction -- 246;2 Algorithmic debugging -- 246;3 Formalising the Augmented Redex Trail -- 246;4 Generating an Evaluation Dependency Tree -- 246;5 Properties of the Evaluation Dependency Tree -- 246;6 Conclusion and future work -- References -- CH36;3 Systematic Synthesis of Functions -- 346;1 Introduction -- 346;2 Function generation -- 346;3 Controlling the candidate functions -- 346;4 Generation of multi45;argument functions -- 346;5 Synthesis of functions over other data types -- 346;6 Other properties -- 346;7 Related work -- 346;8 Conclusion -- References -- CH36;4 A Purely Functional Implementation of ROBDDs in Haskell -- 446;1 Introduction -- | ||
| 500 | |a - 446;2 ROBDDs -- 446;3 ROBDD implementation in Haskell -- 446;4 Laziness -- 446;5 Experimental results -- 446;6 Equality check -- 446;7 Related work -- 446;8 Conclusion -- References -- CH36;5 Efficient Interpretation by Transforming Data Types and Patterns to Functions -- 546;1 Introduction -- 546;2 Representation of data types by functions -- 546;3 SAPL58; an intermediate functional language -- 546;4 An interpreter for SAPL -- 546;5 Benchmarks -- 546;6 Conclusions and further research possibilities -- References -- CH36;6 Object45;Oriented Programming in Dependent Type Theory -- 646;1 Introduction -- 646;2 Basic concepts of Dependent Type Theory -- 646;3 Interactive programs in Dependent Type Theory -- 646;4 Simple objects -- 646;5 Combining objects without self45;referential calls -- 646;6 Combining objects with self45;referential calls -- 646;7 Conclusion -- References -- CH36;7 A Sharing Analysis for SAFE -- 746;1 Introduction -- 746;2 Summary of Safe -- 746;3 Sharing analysis -- | ||
| 500 | |a - 746;4 Implementation and examples -- 746;5 A more involved example -- 746;6 Related work and conclusions -- References -- CH36;8 Memory Usage Improvement Using Runtime Alias Detection -- 846;1 Introduction -- 846;2 Overview of the Tofte47;Talpin System -- 846;3 Run45;time alias detection -- 846;4 Evaluation -- 846;5 Related work -- 846;6 Future work -- 846;7 Conclusion -- References -- CH36;9 A Model of Functional Programming with Dynamic Compilation and Optimization -- 946;1 Introduction -- 946;2 Virtual machines and dynamic translation -- 946;3 Formal framework -- 946;4 Case study58; Guarded feedback45;driven inlining -- 946;5 Related work -- 946;6 Future work -- 946;7 Conclusion -- References -- CH36;10 Functional Concepts in C43;43; -- 1046;1 Introduction -- 1046;2 Translation of typed 38;35;95559;45;terms into C43;43; -- 1046;3 Proof of correctness -- 1046;4 Lazy evaluation in C43;43; -- 1046;5 Conclusion -- References -- CH36;11 Resource45;Based Web Applications -- | ||
| 500 | |a - 1146;1 Introduction -- 1146;2 Transfer of resource representations -- 1146;3 A res | ||
| 500 | |a This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006 | ||
| 650 | 7 | |a COMPUTERS / Programming / Open Source |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 650 | 4 | |a Functional programming (Computer science) |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Nilsson, Henrik |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=214555 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028511152 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=214555 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=214555 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175484160835584 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV043086960 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)190666671 (DE-599)BVBBV043086960 |
| dewey-full | 005.1/14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/14 |
| dewey-search | 005.1/14 |
| dewey-sort | 15.1 214 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06228nmm a2200493zc 4500</leader><controlfield tag="001">BV043086960</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281187461</subfield><subfield code="9">1-281-18746-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1841509930</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-84150-993-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281187468</subfield><subfield code="9">978-1-281-18746-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781841509938</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-84150-993-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)190666671</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043086960</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/14</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Trends in Functional Programming, Volume 7</subfield><subfield code="c">edited by Henrik Nilsson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bristol, UK</subfield><subfield code="b">Intellect Books</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (1 v.)</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Cover -- TOC36;Contents -- Preface -- CH36;1 Proving Termination Using Dependent Types58; the Case of Xor45;Terms -- 146;1 Introduction -- 146;2 Background -- 146;3 Our approach -- 146;4 Formalization -- 146;5 Conclusion -- References -- CH36;2 Proving the Correctness of Algorithmic Debugging for Functional Programs -- 246;1 Introduction -- 246;2 Algorithmic debugging -- 246;3 Formalising the Augmented Redex Trail -- 246;4 Generating an Evaluation Dependency Tree -- 246;5 Properties of the Evaluation Dependency Tree -- 246;6 Conclusion and future work -- References -- CH36;3 Systematic Synthesis of Functions -- 346;1 Introduction -- 346;2 Function generation -- 346;3 Controlling the candidate functions -- 346;4 Generation of multi45;argument functions -- 346;5 Synthesis of functions over other data types -- 346;6 Other properties -- 346;7 Related work -- 346;8 Conclusion -- References -- CH36;4 A Purely Functional Implementation of ROBDDs in Haskell -- 446;1 Introduction -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 446;2 ROBDDs -- 446;3 ROBDD implementation in Haskell -- 446;4 Laziness -- 446;5 Experimental results -- 446;6 Equality check -- 446;7 Related work -- 446;8 Conclusion -- References -- CH36;5 Efficient Interpretation by Transforming Data Types and Patterns to Functions -- 546;1 Introduction -- 546;2 Representation of data types by functions -- 546;3 SAPL58; an intermediate functional language -- 546;4 An interpreter for SAPL -- 546;5 Benchmarks -- 546;6 Conclusions and further research possibilities -- References -- CH36;6 Object45;Oriented Programming in Dependent Type Theory -- 646;1 Introduction -- 646;2 Basic concepts of Dependent Type Theory -- 646;3 Interactive programs in Dependent Type Theory -- 646;4 Simple objects -- 646;5 Combining objects without self45;referential calls -- 646;6 Combining objects with self45;referential calls -- 646;7 Conclusion -- References -- CH36;7 A Sharing Analysis for SAFE -- 746;1 Introduction -- 746;2 Summary of Safe -- 746;3 Sharing analysis -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 746;4 Implementation and examples -- 746;5 A more involved example -- 746;6 Related work and conclusions -- References -- CH36;8 Memory Usage Improvement Using Runtime Alias Detection -- 846;1 Introduction -- 846;2 Overview of the Tofte47;Talpin System -- 846;3 Run45;time alias detection -- 846;4 Evaluation -- 846;5 Related work -- 846;6 Future work -- 846;7 Conclusion -- References -- CH36;9 A Model of Functional Programming with Dynamic Compilation and Optimization -- 946;1 Introduction -- 946;2 Virtual machines and dynamic translation -- 946;3 Formal framework -- 946;4 Case study58; Guarded feedback45;driven inlining -- 946;5 Related work -- 946;6 Future work -- 946;7 Conclusion -- References -- CH36;10 Functional Concepts in C43;43; -- 1046;1 Introduction -- 1046;2 Translation of typed 38;35;95559;45;terms into C43;43; -- 1046;3 Proof of correctness -- 1046;4 Lazy evaluation in C43;43; -- 1046;5 Conclusion -- References -- CH36;11 Resource45;Based Web Applications -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 1146;1 Introduction -- 1146;2 Transfer of resource representations -- 1146;3 A res</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Programming / Open Source</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nilsson, Henrik</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=214555</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028511152</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=214555</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=214555</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043086960 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:17:01Z |
| institution | BVB |
| isbn | 1281187461 1841509930 9781281187468 9781841509938 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028511152 |
| oclc_num | 190666671 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (1 v.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Intellect Books |
| record_format | marc |
| spelling | Trends in Functional Programming, Volume 7 edited by Henrik Nilsson Bristol, UK Intellect Books 2007 1 Online-Ressource (1 v.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references Cover -- TOC36;Contents -- Preface -- CH36;1 Proving Termination Using Dependent Types58; the Case of Xor45;Terms -- 146;1 Introduction -- 146;2 Background -- 146;3 Our approach -- 146;4 Formalization -- 146;5 Conclusion -- References -- CH36;2 Proving the Correctness of Algorithmic Debugging for Functional Programs -- 246;1 Introduction -- 246;2 Algorithmic debugging -- 246;3 Formalising the Augmented Redex Trail -- 246;4 Generating an Evaluation Dependency Tree -- 246;5 Properties of the Evaluation Dependency Tree -- 246;6 Conclusion and future work -- References -- CH36;3 Systematic Synthesis of Functions -- 346;1 Introduction -- 346;2 Function generation -- 346;3 Controlling the candidate functions -- 346;4 Generation of multi45;argument functions -- 346;5 Synthesis of functions over other data types -- 346;6 Other properties -- 346;7 Related work -- 346;8 Conclusion -- References -- CH36;4 A Purely Functional Implementation of ROBDDs in Haskell -- 446;1 Introduction -- - 446;2 ROBDDs -- 446;3 ROBDD implementation in Haskell -- 446;4 Laziness -- 446;5 Experimental results -- 446;6 Equality check -- 446;7 Related work -- 446;8 Conclusion -- References -- CH36;5 Efficient Interpretation by Transforming Data Types and Patterns to Functions -- 546;1 Introduction -- 546;2 Representation of data types by functions -- 546;3 SAPL58; an intermediate functional language -- 546;4 An interpreter for SAPL -- 546;5 Benchmarks -- 546;6 Conclusions and further research possibilities -- References -- CH36;6 Object45;Oriented Programming in Dependent Type Theory -- 646;1 Introduction -- 646;2 Basic concepts of Dependent Type Theory -- 646;3 Interactive programs in Dependent Type Theory -- 646;4 Simple objects -- 646;5 Combining objects without self45;referential calls -- 646;6 Combining objects with self45;referential calls -- 646;7 Conclusion -- References -- CH36;7 A Sharing Analysis for SAFE -- 746;1 Introduction -- 746;2 Summary of Safe -- 746;3 Sharing analysis -- - 746;4 Implementation and examples -- 746;5 A more involved example -- 746;6 Related work and conclusions -- References -- CH36;8 Memory Usage Improvement Using Runtime Alias Detection -- 846;1 Introduction -- 846;2 Overview of the Tofte47;Talpin System -- 846;3 Run45;time alias detection -- 846;4 Evaluation -- 846;5 Related work -- 846;6 Future work -- 846;7 Conclusion -- References -- CH36;9 A Model of Functional Programming with Dynamic Compilation and Optimization -- 946;1 Introduction -- 946;2 Virtual machines and dynamic translation -- 946;3 Formal framework -- 946;4 Case study58; Guarded feedback45;driven inlining -- 946;5 Related work -- 946;6 Future work -- 946;7 Conclusion -- References -- CH36;10 Functional Concepts in C43;43; -- 1046;1 Introduction -- 1046;2 Translation of typed 38;35;95559;45;terms into C43;43; -- 1046;3 Proof of correctness -- 1046;4 Lazy evaluation in C43;43; -- 1046;5 Conclusion -- References -- CH36;11 Resource45;Based Web Applications -- - 1146;1 Introduction -- 1146;2 Transfer of resource representations -- 1146;3 A res This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006 COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Functional programming (Computer science) fast Functional programming (Computer science) Congresses (DE-588)1071861417 Konferenzschrift gnd-content Nilsson, Henrik Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=214555 Aggregator Volltext |
| spellingShingle | Trends in Functional Programming, Volume 7 COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Functional programming (Computer science) fast Functional programming (Computer science) Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Trends in Functional Programming, Volume 7 |
| title_auth | Trends in Functional Programming, Volume 7 |
| title_exact_search | Trends in Functional Programming, Volume 7 |
| title_full | Trends in Functional Programming, Volume 7 edited by Henrik Nilsson |
| title_fullStr | Trends in Functional Programming, Volume 7 edited by Henrik Nilsson |
| title_full_unstemmed | Trends in Functional Programming, Volume 7 edited by Henrik Nilsson |
| title_short | Trends in Functional Programming, Volume 7 |
| title_sort | trends in functional programming volume 7 |
| topic | COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Functional programming (Computer science) fast Functional programming (Computer science) Congresses |
| topic_facet | COMPUTERS / Programming / Open Source COMPUTERS / Software Development & Engineering / Tools COMPUTERS / Software Development & Engineering / General Functional programming (Computer science) Functional programming (Computer science) Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=214555 |
| work_keys_str_mv | AT nilssonhenrik trendsinfunctionalprogrammingvolume7 |