@mastersthesis(dallmeyer:16, author = {Nils Dallmeyer}, year = {2016}, title = {Design and implementation of a test suite for exploring space improvements in a call-by-need functional language with polymorphic types}, type = {Msc. thesis}, school = {Institut f\"ur Informatik, J.W.Goethe-University Frankfurt}, ) @inproceedings(gill, author = {Andrew Gill and John Launchbury and Simon L. Peyton Jones}, year = {1993}, title = {{A Short Cut to Deforestation}}, booktitle = {Proc. Conference on Functional Programming Languages and Computer Architecture}, series = {FPCA '93}, publisher = {ACM}, address = {New York, NY, USA}, pages = {223--232}, doi = {10.1145/165180.165214}, ) @phdthesis(gustavssonDiss01, author = {J\"o{}rgen Gustavsson}, year = {2001}, title = {{Space-Safe Transformations and Usage Analysis for Call-by-Need Languages}}, type = {{PhD thesis}}, school = {Department of Computing Science{,} Chalmers University of Technology and G\"o{}teborg University}, ) @article(gustavssonSands99, author = {J\"{o}rgen Gustavsson and David Sands}, year = {1999}, title = {{A Foundation for Space-Safe Transformations of Call-by-Need Programs}}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {26}, pages = {69 -- 86}, note = {HOOTS '99, Higher Order Operational Techniques in Semantics}, doi = {10.1016/S1571-0661(05)80284-1}, ) @inproceedings(gustavssonSands01, author = {J\"{o}rgen Gustavsson and David Sands}, year = {2001}, title = {{Possibilities and Limitations of Call-by-need Space Improvement}}, booktitle = {Proc. Sixth ACM SIGPLAN International Conference on Functional Programming}, series = {ICFP '01}, publisher = {ACM}, address = {New York, NY, USA}, pages = {265--276}, doi = {10.1145/507635.507667}, ) @misc(hasBase, author = {Hackage}, year = {2016}, title = {{Hackage, the base package}}, url = {http://hackage.haskell.org/package/base}, ) @article(johann, author = {Patricia Johann and Janis Voigtl\"{a}nder}, year = {2006}, title = {{The Impact of Seq on Free Theorems-Based Program Transformations}}, journal = {Fundam. Inf.}, volume = {69}, number = {1-2}, pages = {63--102}, ) @inproceedings(imp99, author = {Andrew Moran and David Sands}, year = {1999}, title = {{Improvement in a Lazy Context: An Operational Theory for Call-by-need}}, booktitle = {Proc. 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '99}, publisher = {ACM}, address = {New York, NY, USA}, pages = {43--56}, doi = {10.1145/292540.292547}, ) @inproceedings(sands91opth, author = {David Sands}, year = {1991}, title = {{Operational Theories of Improvement in Functional Languages (Extended Abstract)}}, booktitle = {Proc. Fourth Glasgow Workshop on Functional Programming}, publisher = {Springer-Verlag}, pages = {298--311}, doi = {10.1007/978-1-4471-3196-0\_24}, ) @article(sands95naive, author = {David Sands}, year = {1995}, title = {A Na\"{i}ve Time Analysis and its Theory of Cost Equivalence}, journal = {Journal of Logic and Computation}, volume = {5}, pages = {495--541}, doi = {10.1093/logcom/5.4.495}, ) @inproceedings(sands95totalcorrectness, author = {David Sands}, year = {1995}, title = {{Total Correctness by Local Improvement in Program Transformation}}, booktitle = {Proc. 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '95}, publisher = {ACM}, address = {New York, NY, USA}, pages = {221--232}, doi = {10.1145/199448.199485}, ) @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}, ) @techreport(ppdp-IB55, 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. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main}, url = {http://www.ki.informatik.uni-frankfurt.de/papers/frank}, ) @inproceedings(schmidt-schauss-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 = {Moreno Falaschi and Elvira Albert}, booktitle = {Proc. 17th International Symposium on Principles and Practice of Declarative Programming}, publisher = {{ACM}}, pages = {220--231}, doi = {10.1145/2790449.2790512}, ) @inproceedings(ifl16, author = {Schmidt{-}Schau{\ss}, Manfred and David Sabel}, year = {2015}, title = {Sharing-Aware Improvements in a Call-by-Need Functional Core Language}, editor = {Ralf L\"ammel}, booktitle = {Proceedings of IFL}, series = {IFL '15}, publisher = {ACM}, address = {New York, NY, USA}, pages = {6:1--6:12}, doi = {10.1145/2897336.2897343}, ) @article(safenoecker, author = {Schmidt{-}Schau{\ss}, Manfred and David Sabel and Marko Sch\"{u}tz}, year = {2008}, title = {{Safety of N\"{o}cker's Strictness Analysis}}, journal = {J. Funct. Program.}, volume = {18}, number = {4}, pages = {503--551}, doi = {10.1017/S0956796807006624}, ) @article(sestoft, 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}, ) @inproceedings(svenningsson, author = {Josef Svenningsson}, year = {2002}, title = {{Shortcut Fusion for Accumulating Parameters \& Zip-like Functions}}, booktitle = {Proc. Seventh ACM SIGPLAN International Conference on Functional Programming}, series = {ICFP '02}, publisher = {ACM}, address = {New York, NY, USA}, pages = {124--132}, doi = {10.1145/581478.581491}, )