Abstract is missing.
- Evaluating Call-by-Need on the Control StackStephen Chang, David Van Horn, Matthias Felleisen. 1-15 [doi]
- Typing CoroutinesKonrad Anton, Peter Thiemann. 16-30 [doi]
- An Expression Processor: A Case Study in Refactoring Haskell ProgramsChristopher Brown 0002, Huiqing Li, Simon J. Thompson. 31-49 [doi]
- Static Balance Checking for First-Class Modular Systems of EquationsJohn Capper, Henrik Nilsson. 50-65 [doi]
- Graphical and Incremental Type Inference: A Graph Transformation ApproachSilvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo. 66-83 [doi]
- Hygienic Macros for ACL2Carl Eastlund, Matthias Felleisen. 84-101 [doi]
- What s the Matter with Kansas Lava?Andrew Farmer, Garrin Kimmell, Andy Gill. 102-117 [doi]
- Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas LavaAndy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp. 118-133 [doi]
- Testing with Functional Reference ImplementationsPieter W. M. Koopman, Rinus Plasmeijer. 134-149 [doi]
- Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation LanguageKevin Matlage, Andy Gill. 150-165 [doi]
- Functional Video Games in the CS1 ClassroomMarco T. Morazán. 166-183 [doi]
- ComputErl - Erlang-Based Framework for Many Task ComputingMichal Ptaszek, Maciej Malawski. 184-197 [doi]
- Monad Factory: Type-Indexed MonadsMark Snyder, Perry Alexander. 198-213 [doi]