Abstract is missing.
- Compiling math to fast codeMarkus Püschel. 1-2 [doi]
- Specification and verification of meta-programsMartin Berger. 3-4 [doi]
- Polynomial-time inverse computation for accumulative functions with multiple data traversalsKazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano. 5-14 [doi]
- Distillation with labelled transition systemsGeoffrey William Hamilton, Neil D. Jones. 15-24 [doi]
- Incremental resource usage analysisElvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez. 25-34 [doi]
- Finding and fixing Java naming bugs with the lancelot eclipse pluginEdvard K. Karlsen, Einar W. Høst, Bjarte M. Østvold. 35-38 [doi]
- Ideas for connecting inductive program synthesis and bidirectionalizationJanis Voigtländer. 39-42 [doi]
- An analytical inductive functional programming system that avoids unintended programsSusumu Katayama. 43-52 [doi]
- Composing transformations for instrumentation and optimizationMichael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel. 53-62 [doi]
- Obfuscation by partial evaluation of distorted interpretersRoberto Giacobazzi, Neil D. Jones, Isabella Mastroeni. 63-72 [doi]
- StagedSAC: a case study in performance-oriented DSL developmentVlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky. 73-82 [doi]
- Well-typed narrowing with extra variables in functional-logic programmingFrancisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. 83-92 [doi]
- Towards typing for small-step direct reflectionJacques Carette, Aaron Stump. 93-96 [doi]
- The interaction of contracts and lazinessMarkus Degen, Peter Thiemann, Stefan Wehr. 97-106 [doi]
- Hybrid contract checking via symbolic simplificationDana N. Xu. 107-116 [doi]
- Scala-virtualizedAdriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky. 117-120 [doi]
- Functional programs as compressed dataNaoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara. 121-130 [doi]
- An approach to completing variable names for implicitly typed functional languagesTakumi Goto, Isao Sasano. 131-140 [doi]
- Streams that compose using macros that obligeMartin Hirzel, Bugra Gedik. 141-150 [doi]
- COSTABS: a cost and termination analyzer for ABSElvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla. 151-154 [doi]
- Translating flowcharts to non-deterministic languagesSurinder Kumar Jain, Chenyi Zhang, Bernhard Scholz. 155-162 [doi]