Trends in Functional Programming, Volume 11

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

Table of Contents

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