Janis Voigtländer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

BibTeX | Compact BibTeX | RSS

John P. Gallagher, Janis Voigtländer, editors, Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation. ACM, January 2010.

Patricia Johann, Janis Voigtländer. A family of syntactic logical relations for the semantics of Haskell-like languages. iandc, 207(2):341-368, 2009. [doi]
Janis Voigtländer. Bidirectionalization for free! (Pearl). POPL 2009: 165-176 [doi]

Janis Voigtländer. Much ado about two (pearl): A pearl on parallel prefix computation. POPL 2008: 29-35 [doi]
Janis Voigtländer. Types for Programming and Reasoning. 2008.
Janis Voigtländer. Semantics and Pragmatics of New Shortcut Fusion Rules. FLOPS 2008: 163-179 [doi]
Janis Voigtländer. Asymptotic Improvement of Computations over Free Monads. mpc 2008: 388-403 [doi]
Janis Voigtländer. Proving correctness via free theorems: The case of the destroy/build-rule. PEPM 2008: 13-20 [doi]

Janis Voigtländer. Formal Efficiency Analysis for Tree Transducer Composition. mst, 41(4):619-689, 2007. [doi]
Jürgen Giesl, Armin Kühnemann, Janis Voigtländer. Deaccumulation techniques for improving provability. jlp, 71(2):79-113, 2007. [doi]
Janis Voigtländer, Patricia Johann. Selective strictness and parametricity in structural operational semantics, inequationally. TCS, 388(1-3):290-318, 2007. [doi]

Patricia Johann, Janis Voigtländer. The Impact of seq on Free Theorems-Based Program Transformations. FUIN, 69(1-2):63-102, 2006. [doi]

Janis Voigtländer. Tree Transducer Composition as Program Transformation. PhD thesis, Technische Universität Dresden, 2005.

Janis Voigtländer, Armin Kühnemann. Composition of functions with accumulating parameters. JFP, 14(3):317-363, 2004. [doi]
Janis Voigtländer. Using Circular Programs to Deforest in Accumulating Parameters. lisp, 17(1-2):129-163, 2004. [doi]
Patricia Johann, Janis Voigtländer. Free theorems in the presence of seq. POPL 2004: 99-110 [doi]

Jürgen Giesl, Armin Kühnemann, Janis Voigtländer. Deaccumulation - Improving Provability. asian 2003: 146-160 [doi]

Janis Voigtländer. Composition of restricted Macro Tree Transducers. Master's thesis, Technische Universität Dresden, 2001.