Janis Voigtländer

Janis Voigtländer

Universität Duisburg Essen - Essen / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1783585
University of Duisburg-Essen
person_outline Janis Voigtländer's MOST POPULAR ARTICLES
1-) Bidirectionalization for free!(Pearl)J VoigtländerACM SIGPLAN Notices 44 (1), 165-176, 20091112009
2-) A generic operational metatheory for algebraic effectsP Johann, A Simpson, J VoigtländerLogic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on, 209-218, 2010722010
3-) Free theorems in the presence of seqP Johann, J VoigtländerProceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004722004
4-) Asymptotic improvement of computations over free monadsJ VoigtländerInternational Conference on Mathematics of Program Construction, 388-403, 2008652008
5-) Three complementary approaches to bidirectional programmingN Foster, K Matsuda, J VoigtländerGeneric and Indexed Programming, 1-46, 2012512012