@article(Bondorf:1991:AutomaticAutoprojection:SCP,
 author       = "Anders Bondorf",
 year         = "1991",
 title        = "Automatic Autoprojection of Higher Order Recursive Equations",
 journal      = "Science of Computer Programming",
 volume       = "17",
 pages        = "3--34",
 doi          = "10.1016/0167-6423(91)90035-V",
)
@article(Bondorf:1991:AutomaticAutoprojection,
 author       = "Anders Bondorf and Olivier Danvy",
 year         = "1991",
 title        = "Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types",
 journal      = "Science of Computer Programming",
 volume       = "16",
 pages        = "151--195",
 doi          = "10.1016/0167-6423(91)90002-F",
)
@article(Bulyonkov:1984:Polyvariant,
 author       = "Mikhail A. Bulyonkov",
 year         = "1984",
 title        = "Polyvariant Mixed Computation for Analyzer Programs",
 journal      = "Acta Informatica",
 volume       = "21",
 pages        = "473--484",
 doi          = "10.1007/BF00271642",
)
@book(Ecma:2012:CLI,
 author       = "{Ecma TC39 TG3}",
 year         = "2012",
 title        = "Common Language Infrastructure (CLI)\spacefactor \@m . Standard ECMA-335, 6th edition",
 publisher    = "Ecma International",
)
@phdthesis(Haraldsson:1977:AProgram,
 author       = "Anders Haraldsson",
 year         = "1977",
 title        = "A Program Manipulation System Based on Partial Evaluation",
 school       = "Link{\"{o}}ping University, Sweden",
 note         = "Link{\"{o}}ping Studies in Science and Technology Dissertations 14",
)
@proceedings(Hatcliff:1998:PartialEvaluation,
 editor       = "John Hatcliff and Torben Mogensen and Peter Thiemann",
 year         = "1998",
 title        = "Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School",
 series       = "Lecture Notes in Computer Science",
 volume       = "1706",
 publisher    = "Springer-Verlag",
)
@misc(Holst:1988:PoorMans,
 author       = "Carsten Kehler Holst",
 year         = "1988",
 title        = "Poor man's generalization",
 howpublished = "Note",
 note         = "2 pages",
)
@misc(IEEE:2008:FloatingPoint,
 author       = "IEEE",
 year         = "2008",
 title        = "{IEEE} Standard for Floating-Point Arithmetics",
 howpublished = "{IEEE} Std 754-2008",
)
@book(Jones:1993:PartialEvaluation,
 author       = "N.D. Jones and C.K. Gomard and P. Sestoft",
 year         = "1993",
 title        = "Partial Evaluation and Automatic Program Generation",
 publisher    = "Englewood Cliffs, NJ:\ Prentice Hall",
 note         = "At http://www.itu.dk/people/sestoft/pebook/pebook.html",
)
@article(Jones:1989:Mix,
 author       = "N.D. Jones and P. Sestoft and H. S{\o }ndergaard",
 year         = "1989",
 title        = "Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation",
 journal      = "Lisp and Symbolic Computation",
 volume       = "2",
 number       = "1",
 pages        = "9--50",
 doi          = "10.1007/BF01806312",
)
@inproceedings(Neverov:2004:CrossStage,
 author       = "Gregory Neverov and Paul Roe",
 year         = "2004",
 title        = "Cross-stage Persistence in Metaphor",
 booktitle    = "First MetaOCaml Workshop, Vancouver, Canada",
 pages        = "168--185",
)
@mastersthesis(Nunez:2000:AnExtended,
 author       = "Fabian Nu\~nez",
 year         = "2000",
 title        = "An Extended Spreadsheet Paradigm for Data Visualisation Systems, and Its Implementation",
 school       = "University of Cape Town",
)
@inproceedings(PeytonJones:2003:AUserCentred,
 author       = "Simon {Peyton Jones} and Alan Blackwell and Margaret Burnett",
 year         = "2003",
 title        = "A user-centred approach to functions in {Excel}",
 booktitle    = "ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming",
 publisher    = "ACM",
 pages        = "165--176",
 doi          = "10.1145/944705.944721",
)
@misc(ResolverSystems::ResolverOne,
 author       = "{Resolver Systems}",
 title        = "Resolver One",
 howpublished = "Homepage",
 note         = "At http://www.resolversystems.com/ on 9 June 2013",
)
@phdthesis(Ruf:1993:TopicsIn,
 author       = "Erik Ruf",
 year         = "1993",
 title        = "Topics in Online Partial Evaluation",
 school       = "Stanford University, California",
 note         = "Published as technical report {CSL-TR-93-563}",
)
@techreport(Ruf:1992:OpportunitiesFor,
 author       = "Erik Ruf and Daniel Weise",
 year         = "1992",
 title        = "Opportunities for Online Partial Evaluation",
 type         = "Technical Report",
 number       = "CSL-TR-92-516",
 institution  = "Computer Systems Laboratory, Stanford University",
 address      = "Stanford, CA",
)
@book(Sestoft:2012:ProgrammingLanguage,
 author       = "P. Sestoft",
 year         = "2012",
 title        = "Programming Language Concepts",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4471-4156-3",
)
@techreport(Sestoft:2012:SpreadsheetTechnology,
 author       = "Peter Sestoft",
 year         = "2012",
 title        = "Spreadsheet Technology",
 type         = "Technical Report",
 number       = "ITU-TR-2011-142",
 institution  = "IT University of Copenhagen",
 note         = "302 pages",
)
@inproceedings(Sestoft:2013:SheetDefined,
 author       = "Peter Sestoft and Jens Zeilund S\IeC {\o }rensen",
 year         = "2013",
 title        = "Sheet-defined functions: implementation and initial evaluation",
 editor       = "Y. Dittrich",
 booktitle    = "International Symposium on End-User Development, June 2013",
 series       = "Lecture Notes in Computer Science",
 volume       = "7897",
 pages        = "88--103",
 doi          = "10.1007/978-3-642-38706-7\_8",
)
@article(Strachey:1974:Continuations,
 author       = "Christopher Strachey and Christopher P. Wadsworth",
 year         = "1974",
 title        = "Continuations: a Mathematical semantics for handling full jumps",
 journal      = "Higher Order and Symbolic Computation",
 volume       = "13",
 pages        = "135--152",
 doi          = "10.1023/A:1010026413531",
 note         = "Reprint of Oxford PRG-11, January 1974",
)
@mastersthesis(Soerensen:2012:AnEvaluation,
 author       = "Jens Zeilund S\IeC {\o }rensen",
 year         = "2012",
 title        = "An Evaluation of Sheet-Defined Financial Functions in {Funcalc}",
 school       = "IT University of Copenhagen",
)
@inproceedings(Turchin:1988:TheAlgorithm,
 author       = "Valentin F. Turchin",
 year         = "1988",
 title        = "The Algorithm of Generalization in the Supercompiler",
 editor       = "D. Bj\IeC {\o }rner and A.P. Ershov and N.D. Jones",
 booktitle    = "Partial Evaluation and Mixed Computation",
 publisher    = "Amsterdam:\ North-Holland",
 pages        = "531--549",
)
@inproceedings(Weise:1991:AutomaticOnline,
 author       = "Daniel Weise and Roland Conybeare and Erik Ruf and Scott Seligman",
 year         = "1991",
 title        = "Automatic Online Partial Evaluation",
 editor       = "J. Hughes",
 booktitle    = "Functional Programming Languages and Computer Architecture, Cambridge, Massachusetts, August 1991 (Lecture Notes in Computer Science, vol. 523)",
 publisher    = "Springer-Verlag",
 pages        = "165--191",
)