Abstract is missing.
- O, partial evaluator, where art thou?Lennart Augustsson. 1-2 [doi]
- General purpose languages should be metalanguagesJeremy G. Siek. 3-4 [doi]
- Corrective hints for type incorrect generic Java programsNabil El Boustani, Jurriaan Hage. 5-14 [doi]
- Mnemonics: type-safe bytecode generation at run timeJohannes Rudolph, Peter Thiemann. 15-24 [doi]
- PET: a partial evaluation-based test case generation tool for Java bytecodeElvira Albert, Miguel Gómez-Zamalloa, Germán Puebla. 25-28 [doi]
- IGOR2 - an analytical inductive functional programming system: tool demoMartin Hofmann 0008. 29-32 [doi]
- Optimizing generics is easy!José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh. 33-42 [doi]
- A fold/unfold transformation framework for rewrite theories extended to CCTMaría Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi. 43-52 [doi]
- Regular approximation and bounded domains for size-change terminationHugh Anderson, Siau-Cheng Khoo. 53-62 [doi]
- A3PAT, an approach for certified automated termination proofsEvelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest. 63-72 [doi]
- Optimizing relational algebra operations using generic equivalence discriminators and lazy productsFritz Henglein. 73-82 [doi]
- Programming with singular and plural non-deterministic functionsAdrián Riesco, Juan RodrÃguez-Hortalá. 83-92 [doi]
- I/O guided detection of list catamorphisms: towards problem specific use of program templates in IPMartin Hofmann 0008, Emanuel Kitzelmann. 93-100 [doi]
- Bridging the gap between symbolic and efficient AES implementationsAndrew Moss, Dan Page. 101-110 [doi]
- Clone detection and elimination for HaskellChristopher Brown, Simon Thompson. 111-120 [doi]
- Making stricterness more relevantStefan Holdermans, Jurriaan Hage. 121-130 [doi]
- Context-sensitive analysis of obfuscated x86 executablesArun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero. 131-140 [doi]
- Conditional weighted pushdown systems and applicationsXin Li, Mizuhito Ogawa. 141-150 [doi]
- The SourceGraph programIvan Lazar Miljenovic. 151-154 [doi]
- From higher-order logic to Haskell: there and back againFlorian Haftmann. 155-158 [doi]