Free Theorems Simply, via Dinaturality

von Voigtländer, Janis
Veröffentlicht in DECLARE (2019 : Cottbus) Declarative programming and knowledge management (2020)

Tree transducer composition as program transformation

von Voigtländer, Janis
Veröffentlicht 2005

Selective strictness and parametricity in structural operational semantics

von Voigtländer, Janis
Veröffentlicht 2006

Implementing, and Keeping in Check, a DSL Used in E-Learning

von Westphal, Oliver
Veröffentlicht in FLOPS (15. : 2020 : Online) Functional and logic programming (2020)

Tree transducer composition as deforestation method for functional programs

von Kühnemann, Armin
Veröffentlicht 2001

Composition of functions with accumulating parameters

von Voigtländer, Janis
Veröffentlicht 2001

Parametricity for Haskell with imprecise error semantics

von Stenger, Florian
Veröffentlicht 2008

Automatically generating counterexamples to naive free theorems

von Seidel, Daniel
Veröffentlicht 2009

Taming selective strictness

von Seidel, Daniel
Veröffentlicht 2009

An adequate, denotational, functional-style semantics for typed FlatCurry without Letrec

von Christiansen, Jan
Veröffentlicht 2011

Deaccumulation techniques for improving provability

von Giesl, Jürgen
Veröffentlicht 2005

Mathematics of program construction : 12th International Conference, MPC 2015 Königswinter, Germany, June 29-July 1, 2015, Proceedings

Veröffentlicht 2015

Formal efficiency analysis for tree transducer composition

von Voigtländer, Janis
Veröffentlicht 2004

Tools for reasoning about effectful declarative programs

von Mehner, Stefan
Veröffentlicht 2015

Tools for reasoning about effectful declarative programs

von Mehner, Stefan
Veröffentlicht 2015

Haskell'12 : proceedings of the 2012 ACM SIGPLAN Haskell Symposium ; September 13, 2012, Copenhagen, Denmark ; co-located with: ICFP'12

Veröffentlicht 2012