Selected papers from the Eleventh Symposium on Trends in Functional Programming (TFP10),
Norman, OK, USA
Rex Page and Zoltán Horváth and Viktória Zsók (editors)
Springer Verlag, Berlin Heidelberg, 2011
Lecture Notes in Computer Science, Volume 6546
DOI: 10.1007/978-3-642-22941-1
ISBN 978-3-642-22940-4
| Evaluating Call-by-Need on the Control Stack | 1–15 |
| Stephen Chang and David Van Horn and Matthias Felleisen | Best Student Paper |
| Typing Coroutines | 16–30 |
| Konrad Anton and Peter Thiemann | |
| An Expression Processor: A Case Study in Refactoring Haskell Programs | 31–49 |
| Christopher Brown and Huiqing Li and Simon Thompson | |
| Static Balance Checking for First-Class Modular Systems of Equations | 50–65 |
| John Capper and Henrik Nilsson | |
| Graphical and Incremental Type Inference: A Graph Transformation Approach | 66–83 |
| Silvia Clerici and Cristina Zoltan and Guillermo Prestigiacomo | |
| Hygienic Macros for ACL2 | 84–101 |
| Carl Eastlund and Matthias Felleisen | |
| What's the Matter with Kansas Lava? | 102–117 |
| Andrew Farmer, Garrin Kimmell and Andy Gill | |
| Types and Type Families for Hardware Simulation and Synthesis: The Internals and Externals of Kansas Lava | 118–133 |
| Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell and Ed Komp | |
| Testing with Functional Reference Implementations | 134–149 |
| Pieter Koopman and Rinus Plasmeijer | |
| Every Animation Should Have a Beginning, a Middle, and an End: A Case Study of Using a Functor-Based Animation Language | 150–165 |
| Kevin Matlage and Andy Gill | |
| Functional Video Games in the CS1 Classroom | 166–183 |
| Marco T. Morazán | |
| ComputErl - Erlang-Based Framework for Many Task Computing | 184–197 |
| Michal Ptaszek and Maciej Malawski | |
| Monad Factory: Type-Indexed Monads | 198–213 |
| Mark Snyder and Perry Alexander | |