Janis Voigtländer

Available identifiers

zbMath Open voigtlander.janisMaRDI QIDQ347390

List of research outcomes

Publication	Date of Publication	Type
Implementing, and keeping in check, a DSL used in E-learning	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4965813	2021-03-10	Paper
Formalizing semantic bidirectionalization and extensions with dependent types	2016-11-30	Paper
Free theorems in the presence of seq	2015-11-11	Paper
Concatenate, reverse and map vanish for free	2015-10-07	Paper
Bidirectionalization for free! (Pearl)	2015-07-03	Paper
Combining syntactic and semantic bidirectionalization	2015-03-05	Paper
Free theorems involving type constructor classes	2015-01-06	Paper
Much ado about two (pearl)	2014-09-12	Paper
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins	2014-02-27	Paper
Three Complementary Approaches to Bidirectional Programming	2012-11-21	Paper
Proving Properties about Functions on Lists Involving Element Tests	2012-06-08	Paper
Refined typing to localize the impact of forced strictness on free theorems	2012-03-23	Paper
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry	2011-05-27	Paper
Automatically Generating Counterexamples to Naive Free Theorems	2010-05-04	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation	2009-08-11	Paper
Parametricity for Haskell with Imprecise Error Semantics	2009-07-07	Paper
A family of syntactic logical relations for the semantics of Haskell-like languages	2009-04-14	Paper
Asymptotic Improvement of Computations over Free Monads	2008-08-28	Paper
Semantics and Pragmatics of New Shortcut Fusion Rules	2008-04-11	Paper
Formal efficiency analysis for tree transducer composition	2007-12-19	Paper
Selective strictness and parametricity in structural operational semantics, inequationally	2007-12-18	Paper
Deaccumulation techniques for improving provability	2007-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q5472909	2006-06-19	Paper
Composition of functions with accumulating parameters	2005-04-15	Paper
Using circular programs to deforest in accumulating parameters	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4808749	2004-08-12	Paper

Research outcomes over time

This page was built for person: Janis Voigtländer