Folgen
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
Titel
Zitiert von
Zitiert von
Jahr
Bidirectionalization for free!(Pearl)
J Voigtländer
ACM SIGPLAN Notices 44 (1), 165-176, 2009
1182009
Free theorems in the presence of seq
P Johann, J Voigtländer
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
692004
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
622010
Asymptotic improvement of computations over free monads
J Voigtländer
International Conference on Mathematics of Program Construction, 388-403, 2008
582008
Three complementary approaches to bidirectional programming
N Foster, K Matsuda, J Voigtländer
Generic and Indexed Programming, 1-46, 2012
512012
Combining syntactic and semantic bidirectionalization
J Voigtländer, Z Hu, K Matsuda, M Wang
ACM Sigplan Notices 45 (9), 181-192, 2010
472010
Free theorems involving type constructor classes: functional pearl
J Voigtländer
ACM Sigplan Notices 44 (9), 173-184, 2009
472009
The Impact of seq on Free Theorems-Based Program Transformations
P Johann, J Voigtländer
Fundamenta informaticae 69, 63-102, 2006
472006
Composition of functions with accumulating parameters
J Voigtländer, A Kühnemann
Journal of Functional Programming 14 (3), 317-363, 2004
342004
Concatenate, reverse and map vanish for free
J Voigtländer
ACM SIGPLAN Notices 37 (9), 14-25, 2002
342002
Understanding Idiomatic Traversals Backwards and Forwards
R Bird, J Gibbons, S Mehner, T Schrijvers, J Voigtländer
Haskell Symposium, 25-36, 2013
312013
Using circular programs to deforest in accumulating parameters
J Voigtländer
Asian Symposium on Partial Evaluation and Semantics-Based Program …, 2002
302002
Semantics and pragmatics of new shortcut fusion rules
J Voigtländer
International Symposium on Functional and Logic Programming, 163-179, 2008
222008
Selective strictness and parametricity in structural operational semantics, inequationally
J Voigtländer, P Johann
Theoretical Computer Science 388 (1-3), 290-318, 2007
222007
Much ado about two (pearl): a pearl on parallel prefix computation
J Voigtländer
Principles of Programming Languages, 29-35, 2008
202008
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
J Voigtländer, Z Hu, K Matsuda, M Wang
Journal of Functional Programming, 2013
182013
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
172011
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
172010
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
152008
Automatically Generating Counterexamples to Naive Free Theorems
D Seidel, J Voigtlander
Techn. Univ. Dresden, Fakultät Informatik, 2009
11*2009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20