Abstract is missing.
- The C - compiler infrastructureNorman Ramsey, Simon L. Peyton Jones. 1 [doi]
- Galois: high assurance softwareJohn Launchbury. 3 [doi]
- Making a fast curry: push/enter vs. eval/apply for higher-order languagesSimon Marlow, Simon L. Peyton Jones. 4-15 [doi]
- Improving the static analysis of embedded languages via partial evaluationDavid Herman, Philippe Meunier. 16-27 [doi]
- Searching for deadlocks while debugging concurrent haskell programsJan Christiansen, Frank Huch. 28-39 [doi]
- A type-theoretic foundation of continuations and promptsZena M. Ariola, Hugo Herbelin, Amr Sabry. 40-53 [doi]
- Relating models of backtrackingMitchell Wand, Dale Vaillancourt. 54-65 [doi]
- Don t make the wrong mistakes: programming as debuggingPaul Graham. 66 [doi]
- Regular expression patternsNiklas Broberg, Andreas Farre, Josef Svenningsson. 67-78 [doi]
- Multi-return function callOlin Shivers, David Fisher. 79-89 [doi]
- Implementing functional logic languages using multiple threads and storesAndrew P. Tolmach, Sergio Antoy, Marius Nita. 90-102 [doi]
- Monadic regionsMatthew Fluet, J. Gregory Morrisett. 103-114 [doi]
- Translating dependency into parametricityStephen Tse, Steve Zdancewic. 115-125 [doi]
- Types for path correctness of XML queriesDario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani. 126-137 [doi]
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system workPeter Møller Neergaard, Harry G. Mairson. 138-149 [doi]
- Numbering matters: first-order canonical forms for second-order recursive typesNadji Gauthier, François Pottier. 150-161 [doi]
- 20 years of industrial functional programmingUlf Wiger. 162 [doi]
- From process logic to program logicKohei Honda. 163-174 [doi]
- Verification of safety properties for concurrent assembly codeDachuan Yu, Zhong Shao. 175-188 [doi]
- A sound (and complete) model of contractsMatthias Blume, David A. McAllester. 189-200 [doi]
- A nanopass infrastructure for compiler educationDipanwita Sarkar, Oscar Waddell, R. Kent Dybvig. 201-212 [doi]
- Functional morphologyMarkus Forsberg, Aarne Ranta. 213-223 [doi]
- Slideshow: functional presentationsRobby Findler, Matthew Flatt. 224-235 [doi]
- Generics for the massesRalf Hinze. 236-243 [doi]
- Scrap more boilerplate: reflection, zips, and generalised castsRalf Lämmel, Simon L. Peyton Jones. 244-255 [doi]