11. TFP 2010:
Norman, OK, USA
Rex L. Page, Zoltán Horváth, Viktória Zsók (Eds.):
Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers.
Lecture Notes in Computer Science 6546 Springer 2011, ISBN 978-3-642-22940-4 
- Stephen Chang, David Van Horn, Matthias Felleisen:
Evaluating Call-by-Need on the Control Stack.
1-15
- Konrad Anton, Peter Thiemann:
Typing Coroutines.
16-30
- Christopher Brown, Huiqing Li, Simon J. Thompson:
An Expression Processor: A Case Study in Refactoring Haskell Programs.
31-49
- John Capper, Henrik Nilsson:
Static Balance Checking for First-Class Modular Systems of Equations.
50-65
- Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo:
Graphical and Incremental Type Inference: A Graph Transformation Approach.
66-83
- Carl Eastlund, Matthias Felleisen:
Hygienic Macros for ACL2.
84-101
- Andrew Farmer, Garrin Kimmell, Andy Gill:
What's the Matter with Kansas Lava?
102-117
- Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp:
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava.
118-133
- Pieter W. M. Koopman, Rinus Plasmeijer:
Testing with Functional Reference Implementations.
134-149
- Kevin Matlage, Andy Gill:
Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language.
150-165
- Marco T. Morazán:
Functional Video Games in the CS1 Classroom.
166-183
- Michal Ptaszek, Maciej Malawski:
ComputErl - Erlang-Based Framework for Many Task Computing.
184-197
- Mark Snyder, Perry Alexander:
Monad Factory: Type-Indexed Monads.
198-213
Last update Wed May 22 16:30:26 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
