|
3
|
Asymptotic Improvement of Computations over Free Monads
– Janis Voigtländer, Technische Universität Dresden
- 2008
|
|
1
|
Automatically Generating Counterexamples to Naive Free Theorems
– Daniel Seidel, Janis Voigtländer
- 2009
|
|
5
|
Taming Selective Strictness
– Daniel Seidel, Janis Voigtländer
|
|
5
|
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
|
|
|
Improvements for Free
– Daniel Seidel, Janis Voigtländer
|
|
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
|
|
12
|
The Impact of seq on Free Theorems-Based Program Transformations
– Patricia Johann, Janis Voigtländer
- 2006
|
|
|
MRI: Modular reasoning about interference in incremental
– Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook, Bruno C. D. S. Oliveira, Tom Schrijvers, Tom Schrijvers, William R. Cook
|
|
33
|
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
|
|
2
|
Just do it: Simple monadic equational reasoning
– Jeremy Gibbons, Ralf Hinze
- 2011
|
|
1
|
Factorising Folds for Faster Functions
– Graham Hutton, MAURO JASKELIOFF, Andy Gill
|
|
|
Minimally Strict Polymorphic Functions
– Jan Christiansen, Christian-albrechts-universität Kiel, Daniel Seidel
|
