Janis Voigtländer
Janis Voigtländer
Associate Professor Formal Methods in Computer Science, University of Duisburg-Essen
Bestätigte E-Mail-Adresse bei uni-due.de - Startseite
TitelZitiert vonJahr
Bidirectionalization for free!(Pearl)
J Voigtländer
ACM SIGPLAN Notices 44 (1), 165-176, 2009
982009
Free theorems in the presence of seq
P Johann, J Voigtländer
ACM SIGPLAN Notices 39 (1), 99-110, 2004
652004
Asymptotic improvement of computations over free monads
J Voigtländer
International Conference on Mathematics of Program Construction, 388-403, 2008
452008
Combining syntactic and semantic bidirectionalization
J Voigtländer, Z Hu, K Matsuda, M Wang
ACM Sigplan Notices 45 (9), 181-192, 2010
412010
The Impact of seq on Free Theorems-Based Program Transformations
P Johann, J Voigtländer
Fundamenta informaticae 69, 63-102, 2006
392006
Three complementary approaches to bidirectional programming
N Foster, K Matsuda, J Voigtländer
Generic and Indexed Programming, 1-46, 2012
372012
Free theorems involving type constructor classes: functional pearl
J Voigtländer
ACM Sigplan Notices 44 (9), 173-184, 2009
342009
Using circular programs to deforest in accumulating parameters
J Voigtländer
Higher-Order and Symbolic Computation 17 (1-2), 129-163, 2004
322004
Concatenate, reverse and map vanish for free
J Voigtländer
ACM SIGPLAN Notices 37 (9), 14-25, 2002
322002
Using circular programs to deforest in accumulating parameters
J Voigtländer
Asian Symposium on Partial Evaluation and Semantics-Based Program …, 2002
322002
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
312010
Composition of functions with accumulating parameters
J Voigtländer, A Kühnemann
Journal of Functional Programming 14 (3), 317-363, 2004
292004
Selective strictness and parametricity in structural operational semantics, inequationally
J Voigtländer, P Johann
Theoretical Computer Science 388 (1-3), 290-318, 2007
202007
Understanding Idiomatic Traversals Backwards and Forwards
R Bird, J Gibbons, S Mehner, T Schrijvers, J Voigtländer
Haskell Symposium, 25-36, 2013
172013
Semantics and pragmatics of new shortcut fusion rules
J Voigtländer
International Symposium on Functional and Logic Programming, 163-179, 2008
172008
Much ado about two (pearl): a pearl on parallel prefix computation
J Voigtländer
Principles of Programming Languages, 29-35, 2008
162008
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
J Voigtländer, Z Hu, K Matsuda, M Wang
Journal of Functional Programming, 2013
152013
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
152011
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
132010
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
132008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20