The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.
- Types for Programming and ReasoningJanis Voigtländer. 2008.
- Free theorems for functional logic programs: (abstract only)Jan Christiansen, Daniel Seidel, Janis Voigtländer. SIGPLAN, 44(11):7, 2009. [doi]
- The Impact of seq on Free Theorems-Based Program TransformationsPatricia Johann, Janis Voigtländer. FUIN, 69(1-2):63-102, 2006. [doi]
- Free theorems for functional logic programsJan Christiansen, Daniel Seidel, Janis Voigtländer. plpv 2010: 39-48 [doi]
- Automatically Generating Counterexamples to Naive Free TheoremsDaniel Seidel, Janis Voigtländer. FLOPS 2010: 175-190 [doi]
- Bidirectionalization for free! (Pearl)Janis Voigtländer. POPL 2009: 165-176 [doi]
- Concatenate, reverse and map vanish for freeJanis Voigtländer. ICFP 2002: 14-25 [doi]
- Understanding idiomatic traversals backwards and forwardsRichard S. Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, Janis Voigtländer. haskell 2013: 25-36 [doi]
- Taming Selective StrictnessDaniel Seidel, Janis Voigtländer. gi 2009: 2916-2930
- Free theorems in the presence of seqPatricia Johann, Janis Voigtländer. POPL 2004: 99-110 [doi]
- Refined typing to localize the impact of forced strictness on free theoremsDaniel Seidel, Janis Voigtländer. ACTA, 48(3):191-211, 2011. [doi]