References

  1. 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.
  2. 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.
  3. Mikhail A. Bulyonkov (1984): Polyvariant Mixed Computation for Analyzer Programs. Acta Informatica 21, pp. 473–484, doi:10.1007/BF00271642.
  4. Ecma TC39 TG3 (2012): Common Language Infrastructure (CLI)\@m . Standard ECMA-335, 6th edition. Ecma International.
  5. Anders Haraldsson (1977): A Program Manipulation System Based on Partial Evaluation. Linköping University, Sweden. Linköping Studies in Science and Technology Dissertations 14.
  6. 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.
  7. Carsten Kehler Holst (1988): Poor man's generalization. Note. 2 pages.
  8. IEEE (2008): IEEE Standard for Floating-Point Arithmetics. IEEE Std 754-2008.
  9. 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.
  10. 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.
  11. Gregory Neverov & Paul Roe (2004): Cross-stage Persistence in Metaphor. In: First MetaOCaml Workshop, Vancouver, Canada, pp. 168–185.
  12. Fabian Nuñez (2000): An Extended Spreadsheet Paradigm for Data Visualisation Systems, and Its Implementation. University of Cape Town.
  13. 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.
  14. Resolver Systems: Resolver One. Homepage. At http://www.resolversystems.com/ on 9 June 2013.
  15. Erik Ruf (1993): Topics in Online Partial Evaluation. Stanford University, California. Published as technical report CSL-TR-93-563.
  16. Erik Ruf & Daniel Weise (1992): Opportunities for Online Partial Evaluation. Technical Report CSL-TR-92-516. Computer Systems Laboratory, Stanford University, Stanford, CA.
  17. P. Sestoft (2012): Programming Language Concepts. Springer, doi:10.1007/978-1-4471-4156-3.
  18. Peter Sestoft (2012): Spreadsheet Technology. Technical Report ITU-TR-2011-142. IT University of Copenhagen. 302 pages.
  19. 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.
  20. 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.
  21. Jens Zeilund S\IeCø rensen (2012): An Evaluation of Sheet-Defined Financial Functions in Funcalc. IT University of Copenhagen.
  22. 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.
  23. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org