Abstract is missing.
- The functional guts of the Kleisli query systemLimsoon Wong. 1-10 [doi]
- Regular expression types for XMLHaruo Hosoya, Jerome Vouillon, Benjamin C. Pierce. 11-22 [doi]
- The influence of browsers on evaluators or, continuations to program web serversChristian Queinnec. 23-33 [doi]
- Static enforcement of security with typesChristian Skalka, Scott F. Smith. 34-45 [doi]
- Information flow inference for freeFrançois Pottier, Sylvain Conchon. 46-57 [doi]
- Type-safe cast: functional pearlStephanie Weirich. 58-67 [doi]
- Typed compilation of inclusive subtypingKarl Crary. 68-81 [doi]
- Fully reflexive intensional type analysisValery Trifonov, Bratin Saha, Zhong Shao. 82-93 [doi]
- More types for nested data parallel programmingManuel M. T. Chakravarty, Gabriele Keller. 94-105 [doi]
- FranTk - a declarative GUI language for HaskellMeurig Sage. 106-117 [doi]
- Functional programming in C++Brian McNamara, Yannis Smaragdakis. 118-129 [doi]
- Advanced module systems: a guide for the perplexed (abstract of invited talk)Robert Harper, Benjamin C. Pierce. 130 [doi]
- Breadth-first numbering: lessons from a small exercise in algorithm designChris Okasaki. 131-136 [doi]
- Make it practical: a generic linear-time algorithm for solving maximum-weightsum problemsIsao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa. 137-149 [doi]
- Cheap eagerness: speculative evaluation in a lazy functional languageKarl-Filip Faxén. 150-161 [doi]
- An operational semantics for parallel lazy evaluationClement A. Baker-Finch, David J. King, Philip W. Trinder. 162-173 [doi]
- Recursive monadic bindingsLevent Erkök, John Launchbury. 174-185 [doi]
- Deriving backtracking monad transformersRalf Hinze. 186-197 [doi]
- Intersection types and computational effectsRowan Davies, Frank Pfenning. 198-208 [doi]
- Syntactic accidents in program analysis: on the impact of the CPS transformationDaniel Damian, Olivier Danvy. 209-220 [doi]
- Recursive subtyping revealed: functional pearlVladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce. 221-231 [doi]
- The duality of computationPierre-Louis Curien, Hugo Herbelin. 233-243 [doi]
- Combining functional programming and hardware verification (abstract of invited talk)Carl-Johan H. Seger. 244 [doi]
- Understanding memory allocation of scheme programsManuel Serrano, Hans-Juergen Boehm. 245-256 [doi]
- Non-stop HaskellAndrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, R. Lyndon While. 257-267 [doi]
- Composing contracts: an adventure in financial engineering, functional pearlSimon L. Peyton Jones, Jean-Marc Eber, Julian Seward. 280-292 [doi]