@inproceedings(ariola:95,
 author       = {Z. M. Ariola and M. Felleisen and J. Maraist and M. Odersky and P. Wadler},
 year         = {1995},
 title        = {A call-by-need lambda calculus},
 booktitle    = {{POPL}'95},
 publisher    = {ACM Press},
 address      = {San Francisco, California},
 pages        = {233--246},
 doi          = {10.1145/199448.199507},
)
@inproceedings(bakewell-runciman-ppdp:2000,
 author       = {Adam Bakewell and Colin Runciman},
 year         = {2000},
 title        = {A model for comparing the space usage of lazy evaluators},
 booktitle    = {{PPDP}},
 pages        = {151--162},
 doi          = {10.1145/351268.351287},
)
@book(birdbook:14,
 author       = {Richard Bird},
 year         = {2014},
 title        = {Thinking functionally with Haskell},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, UK},
 doi          = {10.1017/CBO9781316092415},
)
@misc(haskell-web:2016,
 author       = {Haskell Community},
 year         = {2016},
 title        = {Haskell, an advanced, purely functional programming language},
 url          = {www.haskell.org},
)
@inproceedings(dallmeyer-schmidtschauss:16,
 author       = {Nils Dallmeyer and Schmidt{-}Schau{\ss}, Manfred},
 year         = {2016},
 title        = {An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages},
 editor       = {Horatiu Cirstea and Santiago Escobar},
 booktitle    = {Proc. 3rd WPTE@FSCD},
 series       = {{EPTCS}},
 volume       = {235},
 pages        = {78--92},
 doi          = {10.4204/EPTCS.235.6},
)
@article(gustavsson-sands:99,
 author       = {J{\"{o}}rgen Gustavsson and David Sands},
 year         = {1999},
 title        = {A Foundation for Space-Safe Transformations of Call-by-Need Programs},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {26},
 pages        = {69--86},
 doi          = {10.1016/S1571-0661(05)80284-1},
)
@inproceedings(gustavsson-sands:01,
 author       = {J{\"{o}}rgen Gustavsson and David Sands},
 year         = {2001},
 title        = {Possibilities and Limitations of Call-by-Need Space Improvement},
 pages        = {265--276},
 doi          = {10.1145/507635.507667},
)
@inproceedings(hackett-hutton:14,
 author       = {Jennifer Hackett and Graham Hutton},
 year         = {2014},
 title        = {Worker/wrapper/makes it/faster},
 booktitle    = {ICFP '14},
 pages        = {95--107},
 doi          = {10.1145/2628136.2628142},
)
@article(johann-voigtlaender:06,
 author       = {Patricia Johann and Janis Voigtl\"ander},
 year         = {2006},
 title        = {The Impact of seq on Free Theorems-Based Program Transformations},
 journal      = {Fundamenta Informaticae},
 volume       = {69},
 number       = {1--2},
 pages        = {63--102},
)
@book(haskell:2010,
 editor       = {Simon Marlow},
 year         = {2010},
 title        = {Haskell 2010 -- Language Report},
 url          = {www.haskell.org/onlinereport/haskell2010/},
)
@inproceedings(moran-sands:99,
 author       = {A. K. D. Moran and D. Sands},
 year         = {1999},
 title        = {Improvement in a Lazy Context: An operational theory for call-by-need},
 booktitle    = {{POPL} 1999},
 publisher    = {ACM Press},
 pages        = {43--56},
 doi          = {10.1145/292540.292547},
)
@inproceedings(moran-sands-carlsson:99,
 author       = {Andrew K. D. Moran and David Sands and Magnus Carlsson},
 year         = {1999},
 title        = {Erratic Fudgets: A semantic theory for an embedded coordination language},
 booktitle    = {Coordination '99},
 series       = {Lecture Notes in Comput. Sci.},
 volume       = {1594},
 publisher    = {Springer-Verlag},
 pages        = {85--102},
 doi          = {10.1007/3-540-48919-3\_8},
)
@article(ghcinliner02,
 author       = {{Peyton Jones}, Simon and Simon Marlow},
 year         = {2002},
 title        = {Secrets of the {G}lasgow {H}askell {C}ompiler inliner},
 journal      = {Journal of Functional Programming},
 volume       = {12},
 number       = {4+5},
 pages        = {393--434},
 doi          = {10.1017/S0956796802004331},
)
@article(peyton-santos:98,
 author       = {{Peyton Jones}, Simon L. and Andr\'e{} L. M. Santos},
 year         = {1998},
 title        = {A Transformation-Based Optimiser for {H}askell},
 journal      = {Science of Computer Programming},
 volume       = {32},
 number       = {1--3},
 pages        = {3--47},
 doi          = {10.1016/S0167-6423(97)00029-4},
)
@techreport(schmidt-schauss-dallmeyer:2017:frank-57,
 author       = {Schmidt-Schau{\ss}, Manfred and Nils Dallmeyer},
 year         = {2017},
 title        = {Space Improvements and Equivalences in a Polymorphically Typed Functional Core Language: Context Lemmas and Proofs},
 type         = {Frank report},
 number       = {57},
 institution  = {Institut f\"ur Informatik, Goethe-Universit\"at Frankfurt am Main},
 note         = {\url{http://www.ki.cs.uni-frankfurt.de/papers/frank/}},
)
@inproceedings(schmidt-schauss-sabel-WPTE:14,
 author       = {Schmidt{-}Schau{\ss}, Manfred and David Sabel},
 year         = {2014},
 title        = {Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)},
 editor       = {Schmidt{-}Schau{\ss}, M. and M.Sakai and D. Sabel and Y. Chiba},
 booktitle    = {{WPTE} 2014},
 series       = {{OASICS}},
 volume       = {40},
 publisher    = {Schloss Dagstuhl},
 pages        = {63--74},
 doi          = {10.4230/OASIcs.WPTE.2014.63},
)
@inproceedings(schmidtschauss-sabel-PPDP:2015,
 author       = {Schmidt-Schau{\ss}, Manfred and David Sabel},
 year         = {2015},
 title        = {Improvements in a Functional Core Language with Call-By-Need Operational Semantics},
 editor       = {Elvira Albert},
 booktitle    = {Proc. PPDP '15},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {220--231},
 doi          = {10.1145/2790449.27905125},
)
@techreport(sabel-schmidt-schauss:2015:frank-55,
 author       = {Schmidt-Schau{\ss}, Manfred and David Sabel},
 year         = {2015},
 title        = {Improvements in a Functional Core Language with Call-By-Need Operational Semantics},
 type         = {Frank report},
 number       = {55},
 institution  = {Institut f\"ur Informatik, Goethe-Universit\"at Frankfurt am Main},
 note         = {\url{http://www.ki.cs.uni-frankfurt.de/papers/frank/}},
)
@techreport(schmidt-schauss-sabel:frank-56:15,
 author       = {Schmidt-Schau{\ss}, Manfred and David Sabel},
 year         = {2015},
 title        = {Sharing Decorations for Improvements in a Functional Core Language with Call-By-Need Operational Semantics},
 type         = {Frank report},
 number       = {56},
 institution  = {Institut f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
 note         = {\url{http://www.ki.cs.uni-frankfurt.de/papers/frank/}},
)
@article(schmidt-schauss-schuetz-sabel:08,
 author       = {Schmidt-Schau{\ss}, Manfred and Marko Sch\"utz and David Sabel},
 year         = {2008},
 title        = {Safety of {N}\"ocker's Strictness Analysis},
 journal      = {J. Funct. Programming},
 volume       = {18},
 number       = {04},
 pages        = {503--551},
 doi          = {10.1017/S0956796807006624},
)
@inproceedings(Sculthorpe-Farmer-Gill:13:HERMIT,
 author       = {Neil Sculthorpe and Andrew Farmer and Andy Gill},
 year         = {2013},
 title        = {The {HERMIT} in the Tree: Mechanizing Program Transformations in the {GHC} Core Language},
 booktitle    = {Proceedings of the 24th Symposium on Implementation and Application of Functional Languages},
 series       = {Lecture Notes in Computer Science},
 volume       = {8241},
 pages        = {86--103},
 doi          = {10.1007/978-3-642-41582-1\_6},
)
@article(sestoft:97,
 author       = {Peter Sestoft},
 year         = {1997},
 title        = {{Deriving a Lazy Abstract Machine}},
 journal      = {J. Funct. Program.},
 volume       = {7},
 number       = {3},
 pages        = {231--264},
 doi          = {10.1017/S0956796897002712},
)