Janis Voigtländer
Janis Voigtländer
Associate Professor Formal Methods in Computer Science, University of Duisburg-Essen
Verified email at uni-due.de - Homepage
Cited by
Cited by
Bidirectionalization for free!(Pearl)
J Voigtländer
ACM SIGPLAN Notices 44 (1), 165-176, 2009
Free theorems in the presence of seq
P Johann, J Voigtländer
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
A generic operational metatheory for algebraic effects
P Johann, A Simpson, J Voigtländer
Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on, 209-218, 2010
Asymptotic improvement of computations over free monads
J Voigtländer
International Conference on Mathematics of Program Construction, 388-403, 2008
Three complementary approaches to bidirectional programming
N Foster, K Matsuda, J Voigtländer
Generic and Indexed Programming, 1-46, 2012
Free theorems involving type constructor classes: functional pearl
J Voigtländer
ACM Sigplan Notices 44 (9), 173-184, 2009
The Impact of seq on Free Theorems-Based Program Transformations
P Johann, J Voigtländer
Fundamenta informaticae 69, 63-102, 2006
Combining syntactic and semantic bidirectionalization
J Voigtländer, Z Hu, K Matsuda, M Wang
ACM Sigplan Notices 45 (9), 181-192, 2010
Composition of functions with accumulating parameters
J Voigtländer, A Kühnemann
Journal of Functional Programming 14 (3), 317-363, 2004
Concatenate, reverse and map vanish for free
J Voigtländer
ACM SIGPLAN Notices 37 (9), 14-25, 2002
Using circular programs to deforest in accumulating parameters
J Voigtländer
Higher-Order and Symbolic Computation 17 (1-2), 129-163, 2004
Using circular programs to deforest in accumulating parameters
J Voigtländer
Asian Symposium on Partial Evaluation and Semantics-Based Program …, 2002
Understanding Idiomatic Traversals Backwards and Forwards
R Bird, J Gibbons, S Mehner, T Schrijvers, J Voigtländer
Haskell Symposium, 25-36, 2013
Semantics and pragmatics of new shortcut fusion rules
J Voigtländer
International Symposium on Functional and Logic Programming, 163-179, 2008
Selective strictness and parametricity in structural operational semantics, inequationally
J Voigtländer, P Johann
Theoretical Computer Science 388 (1-3), 290-318, 2007
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
J Voigtländer, Z Hu, K Matsuda, M Wang
Journal of Functional Programming, 2013
Much ado about two (pearl): a pearl on parallel prefix computation
J Voigtländer
Principles of Programming Languages, 29-35, 2008
Strictification of circular programs
JP Fernandes, J Saraiva, D Seidel, J Voigtländer
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
Proving correctness via free theorems: The case of the destroy/build-rule
J Voigtländer
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
Free theorems for functional logic programs
J Christiansen, D Seidel, J Voigtländer
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20