Fast and Loose Reasoning is Morally Correct (2006)

Cached

Download Links

by Nils Anders Danielsson , Nils Anders , Danielsson John Hughes , Patrik Jansson
Citations:24 - 0 self

Active Bibliography

12 Proof Methods for Structured Corecursive Programs – Jeremy Gibbons, Graham Hutton - 1999
5 A family of syntactic logical relations for the semantics of Haskell-like languages – Patricia Johann, Janis Voigtländer - 2009
93 Polytypic programming – Patrik Jansson - 2000
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
11 Programming With Types – Stephanie Claudene Weirich - 2002
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
Bidirectionalization for free! (Perl) – Janis Voigtländer - 2009
Free Theorems Involving . . . – Janis Voigtländer - 2009
1 Automatically Generating Counterexamples to Naive Free Theorems – Daniel Seidel, 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
8 Free theorems and runtime type representations – Dimitrios Vytiniotis, Stephanie Weirich - 2007
5 Taming Selective Strictness – Daniel Seidel, Janis Voigtländer
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
4 Parametricity for Haskell with Imprecise Error Semantics – Florian Stenger, Janis Voigtländer
3 Covariant Types – C. Barry Jay - 1997