This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.
Author(s): Stephen Chang, David Van Horn, Matthias Felleisen (auth.), Rex Page, Zoltán Horváth, Viktória Zsók (eds.)
Series: Lecture Notes in Computer Science 6546
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Language: English
Pages: 215
Tags: Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages
Front Matter....Pages -
Evaluating Call-by-Need on the Control Stack....Pages 1-15
Typing Coroutines....Pages 16-30
An Expression Processor: A Case Study in Refactoring Haskell Programs....Pages 31-49
Static Balance Checking for First-Class Modular Systems of Equations....Pages 50-65
Graphical and Incremental Type Inference: A Graph Transformation Approach....Pages 66-83
Hygienic Macros for ACL2....Pages 84-101
What’s the Matter with Kansas Lava?....Pages 102-117
Types and Type Families for Hardware Simulation and Synthesis....Pages 118-133
Testing with Functional Reference Implementations....Pages 134-149
Every Animation Should Have a Beginning, a Middle, and an End....Pages 150-165
Functional Video Games in the CS1 Classroom....Pages 166-183
ComputErl – Erlang-Based Framework for Many Task Computing....Pages 184-197
Monad Factory: Type-Indexed Monads....Pages 198-213
Back Matter....Pages -
