| Description |
1 online resource (1 volume) |
| Physical Medium |
polychrome |
| Description |
text file |
| Bibliography |
Includes bibliographical references. |
| Contents |
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. |
| Summary |
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. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Functional programming (Computer science) -- Congresses.
|
|
Functional programming (Computer science) |
| Genre/Form |
Electronic books.
|
|
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
| Added Author |
Nilsson, Henrik, 1971-
|
| Other Form: |
Print version: Trends in Functional Programming. Volume 7. Bristol, UK ; Chicago, IL : Intellect Books, 2007 9781841501888 1841501883 (OCoLC)176929640 |
| ISBN |
9781841509938 (electronic book) |
|
1841509930 (electronic book) |
|
1281187461 |
|
9781281187468 |
|
