Abstract is missing.
- From ML type inference to stratified type inferenceFrançois Pottier. 1 [doi]
- The anatomy of a loop: a story of scope and controlOlin Shivers. 2-14 [doi]
- Acute: high-level programming language design for distributed computationPeter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. 15-26 [doi]
- An expressive language of signaturesNorman Ramsey, Kathleen Fisher, Paul Govereau. 27-40 [doi]
- Recursive type generativityDerek Dreyer. 41-53 [doi]
- Dynamic optimization for functional reactive programming using generalized algebraic data typesHenrik Nilsson. 54-65 [doi]
- Combining programming with theorem provingChiyan Chen, Hongwei Xi. 66-77 [doi]
- A step-indexed model of substructural stateAmal J. Ahmed, Matthew Fluet, Greg Morrisett. 78-91 [doi]
- AtomCaml: first-class atomicity via rollbackMichael F. Ringenburg, Dan Grossman. 92-104 [doi]
- Witnessing side-effectsTachio Terauchi, Alexander Aiken. 105-115 [doi]
- A principled approach to operating system construction in HaskellThomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach. 116-128 [doi]
- JavaScript at ten yearsBrendan Eich. 129 [doi]
- Simple, partial type-inference for System F based on type-containmentDidier Rémy. 130-143 [doi]
- Qualified types for MLFDaan Leijen, Andres Löh. 144-155 [doi]
- Type inference, principal typings, and let-polymorphism for first-class mixin modulesHenning Makholm, J. B. Wells. 156-167 [doi]
- High-level views on low-level representationsIavor S. Diatchki, Mark P. Jones, Rebekah Leslie. 168-179 [doi]
- Scrap your nameplate: (functional pearl)James Cheney. 180-191 [doi]
- Backtracking, interleaving, and terminating monad transformers: (functional pearl)Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry. 192-203 [doi]
- Scrap your boilerplate with class: extensible generic functionsRalf Lämmel, Simon L. Peyton Jones. 204-215 [doi]
- Continuations from generalized stack inspectionGreg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen. 216-227 [doi]
- Fast narrowing-driven partial evaluation for inductively sequential programsJ. Guadalupe Ramos, Josep Silva, Germán Vidal. 228-239 [doi]
- Mechanizing the meta-theory of programming languagesRobert Harper. 240 [doi]
- Associated type synonymsManuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones. 241-253 [doi]
- Modular verification of concurrent assembly code with dynamic thread creation and terminationXinyu Feng, Zhong Shao. 254-267 [doi]
- A language-based approach to functionally correct imperative programmingEdwin M. Westbrook, Aaron Stump, Ian Wehrman. 268-279 [doi]
- A logical analysis of aliasing in imperative higher-order functionsMartin Berger, Kohei Honda, Nobuko Yoshida. 280-293 [doi]
- Monadic augment and generalised short cut fusionNeil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene. 294-305 [doi]
- Poly::AML::: a polymorphic aspect-oriented functional programming languageDaniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich. 306-319 [doi]
- Aspectual Caml: an aspect-oriented functional languageHidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa. 320-330 [doi]