Abstract is missing.
- Towards more natural functional programming languagesBrad A. Myers. 1 [doi]
- Bootstrapping one-sided flexible arraysRalf Hinze. 2-13 [doi]
- Concatenate, reverse and map vanish for freeJanis Voigtländer. 14-25 [doi]
- Monads for incremental computingMagnus Carlsson. 26-35 [doi]
- Packrat parsing: simple, powerful, lazy, linear time, functional pearlBryan Ford. 36-47 [doi]
- Contracts for higher-order functionsRobby Findler, Matthias Felleisen. 48-59 [doi]
- An interoperable calculus for external object accessAtsushi Ohori, Kiyoshi Yamatodani. 60-71 [doi]
- Composable and compilable macros: : you want it when?Matthew Flatt. 72-83 [doi]
- A demand-driven adaptive type analysisDanny Dubé, Marc Feeley. 84-97 [doi]
- Exception analysis for non-strict languagesKevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard. 98-109 [doi]
- Modular typechecking for hierarchically extensible datatypes and functionsTodd D. Millstein, Colin Bleckner, Craig Chambers. 110-122 [doi]
- Functional formal methodsJ. Strother Moore. 123 [doi]
- Shortcut fusion for accumulating parameters & zip-like functionsJosef Svenningsson. 124-132 [doi]
- Composing monads using coproductsChristoph Lüth, Neil Ghani. 133-144 [doi]
- Interactive visual functional programmingKeith Hanna. 145-156 [doi]
- Typing dynamic typingArthur I. Baars, S. Doaitse Swierstra. 157-166 [doi]
- A theory of overloadingPeter J. Stuckey, Martin Sulzmann. 167-178 [doi]
- Type classes with more higher-order polymorphismMatthias Neubauer, Peter Thiemann. 179-190 [doi]
- An expressive, scalable type theory for certified codeKarl Crary, Joseph Vanderwaart. 191-205 [doi]
- Meta-programming with names and necessityAleksandar Nanevski. 206-217 [doi]
- Tagless staged interpreters for typed languagesEmir Pasalic, Walid Taha, Tim Sheard. 218-229 [doi]
- There and back againOlivier Danvy, Mayer Goldberg. 230-234 [doi]
- A compiled implementation of strong reductionBenjamin Grégoire, Xavier Leroy. 235-246 [doi]
- An experimental study of renewal-older-first garbage collectionLars Thomas Hansen, William D. Clinger. 247-258 [doi]
- Compiling scheme to JVM bytecode: : a performance studyBernard P. Serpette, Manuel Serrano. 259-270 [doi]
- Final shift for call/cc: : direct implementation of shift and resetMartin Gasbichler, Michael Sperber. 271-282 [doi]
- Program generation, termination, and binding-time analysisNeil D. Jones, Arne J. Glenstrup. 283 [doi]