| 2009 |
|---|
| 17 | EE | Janis Voigtländer:
Bidirectionalization for free! (Pearl).
POPL 2009: 165-176 |
| 16 | EE | Patricia Johann,
Janis Voigtländer:
A family of syntactic logical relations for the semantics of Haskell-like languages.
Inf. Comput. 207(2): 341-368 (2009) |
| 2008 |
|---|
| 15 | EE | Janis Voigtländer:
Semantics and Pragmatics of New Shortcut Fusion Rules.
FLOPS 2008: 163-179 |
| 14 | EE | Janis Voigtländer:
Asymptotic Improvement of Computations over Free Monads.
MPC 2008: 388-403 |
| 13 | EE | Janis Voigtländer:
Proving correctness via free theorems: the case of the destroy/build-rule.
PEPM 2008: 13-20 |
| 12 | EE | Janis Voigtländer:
Much ado about two (pearl): a pearl on parallel prefix computation.
POPL 2008: 29-35 |
| 2007 |
|---|
| 11 | EE | Jürgen Giesl,
Armin Kühnemann,
Janis Voigtländer:
Deaccumulation techniques for improving provability.
J. Log. Algebr. Program. 71(2): 79-113 (2007) |
| 10 | EE | Janis Voigtländer,
Patricia Johann:
Selective strictness and parametricity in structural operational semantics, inequationally.
Theor. Comput. Sci. 388(1-3): 290-318 (2007) |
| 9 | EE | Janis Voigtländer:
Formal Efficiency Analysis for Tree Transducer Composition.
Theory Comput. Syst. 41(4): 619-689 (2007) |
| 2006 |
|---|
| 8 | EE | Patricia Johann,
Janis Voigtländer:
The Impact of seq on Free Theorems-Based Program Transformations.
Fundam. Inform. 69(1-2): 63-102 (2006) |
| 2004 |
|---|
| 7 | EE | Patricia Johann,
Janis Voigtländer:
Free theorems in the presence of seq.
POPL 2004: 99-110 |
| 6 | EE | Janis Voigtländer:
Using Circular Programs to Deforest in Accumulating Parameters.
Higher-Order and Symbolic Computation 17(1-2): 129-163 (2004) |
| 5 | EE | Janis Voigtländer,
Armin Kühnemann:
Composition of functions with accumulating parameters.
J. Funct. Program. 14(3): 317-363 (2004) |
| 2003 |
|---|
| 4 | EE | Jürgen Giesl,
Armin Kühnemann,
Janis Voigtländer:
Deaccumulation - Improving Provability.
ASIAN 2003: 146-160 |
| 2002 |
|---|
| 3 | EE | Janis Voigtländer:
Using circular programs to deforest in accumulating parameters.
ASIA-PEPM 2002: 126-137 |
| 2 | EE | Janis Voigtländer:
Concatenate, reverse and map vanish for free.
ICFP 2002: 14-25 |
| 1 | EE | Janis Voigtländer:
Conditions for Efficiency Improvement by Tree Transducer Composition.
RTA 2002: 222-236 |
