|
12
|
The Impact of seq on Free Theorems-Based Program Transformations
– Patricia Johann, Janis Voigtländer
- 2006
|
|
5
|
A family of syntactic logical relations for the semantics of Haskell-like languages
– Patricia Johann, 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
|
Taming Selective Strictness
– Daniel Seidel, Janis Voigtländer
|
|
9
|
Monadic augment and generalised short cut fusion
– Neil Ghani, Patricia Johann
- 2005
|
|
5
|
Proving correctness via free theorems: The case of the destroy/build-rule
– Janis Voigtländer
- 2008
|
|
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri (Hossein)
- 2009
|
|
1
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri
- 2009
|
|
23
|
Concatenate, Reverse and Map Vanish For Free
– Janis Voigtländer
- 2002
|
|
3
|
Short cut fusion: Proved and improved
– Patricia Johann
- 2001
|
|
5
|
The Girard-Reynolds isomorphism
– Philip Wadler
- 2001
|
|
4
|
The Girard-Reynolds isomorphism (second edition
– Philip Wadler, Jean-yves Girard
- 2004
|
|
1
|
Automatically Generating Counterexamples to Naive Free Theorems
– Daniel Seidel, Janis Voigtländer
- 2009
|
|
29
|
Stream Fusion. From Lists to Streams to Nothing at All
– Duncan Coutts, Roman Leshchinskiy, Don Stewart
- 2007
|
|
4
|
Semantics and pragmatics of new shortcut fusion rules
– Janis Voigtländer
- 2008
|
|
10
|
Relational parametricity for references and recursive types
– Lars Birkedal, Kristian Støvring, Jacob Thamsborg
- 2009
|
|
31
|
Existential Types: Logical Relations and Operational Equivalence
– Andrew M. Pitts
- 1998
|
|
|
Free Theorems Involving . . .
– Janis Voigtländer
- 2009
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
