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 |