Similar Publications

The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.

• Proving correctness via free theorems: The case of the destroy/build-ruleJanis Voigtländer. PEPM 2008: 13-20 [doi]
• Free theorems in the presence of seqPatricia Johann, Janis Voigtländer. POPL 2004: 99-110 [doi]
• Free theorems involving type constructor classes (functional pearl)Janis Voigtländer. ICFP 2009: 173-184 [doi]
• Automatically Generating Counterexamples to Naive Free TheoremsDaniel Seidel, Janis Voigtländer. FLOPS 2010: 175-190 [doi]
• The Impact of seq on Free Theorems-Based Program TransformationsPatricia Johann, Janis Voigtländer. FUIN, 69(1-2):63-102, 2006. [doi]
• Concatenate, reverse and map vanish for freeJanis Voigtländer. ICFP 2002: 14-25 [doi]
• Refined typing to localize the impact of forced strictness on free theoremsDaniel Seidel, Janis Voigtländer. ACTA, 48(3):191-211, 2011. [doi]
• Types for Programming and ReasoningJanis Voigtländer. 2008.