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