Free Theorems Involving . . . (2009)

by Janis Voigtländer

Active Bibliography

7 Asymptotic Improvement of Computations over Free Monads – Janis Voigtländer, Technische Universität Dresden - 2008
1 Improvements for Free – Daniel Seidel, Janis Voigtländer
1 Automatically Generating Counterexamples to Naive Free Theorems – Daniel Seidel, Janis Voigtländer - 2009
5 Taming Selective Strictness – Daniel Seidel, Janis Voigtländer
Languages – Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. D. S. Oliveira
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
Bidirectionalization for free! (Perl) – Janis Voigtländer - 2009
Acta Informatica manuscript No. (will be inserted by the editor) Refined Typing to Localize the Impact of Forced Strictness on Free Theorems ⋆ – Daniel Seidel, Janis Voigtländer - 2011
5 A family of syntactic logical relations for the semantics of Haskell-like languages – Patricia Johann, Janis Voigtländer - 2009
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
Explicit Binds: Effortless Efficiency with and without Trees – Tarmo Uustalu
Additional services for Journal of Functional Programming: – Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang, Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang Enhancing
3 MRI: Modular reasoning about interference in incremental programming – Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook - 2012
36 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
Interpretational Overhead in system software – Boris Feigin - 2011