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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Janis Voigtländer