Let-floating: Moving bindings to give faster programs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 6, 1996, Pages 1-12

  Jones, Simon Peyton ^a   Partain, Will ^a   Santos, André ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144409429     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/232629.232630     Document Type: Article

References (25)

1. AV Aho, R Sethi & JD Ullman [1986], Compilers - principles, techniques and tools, Addison Wesley.
2. AW Appel [1992], Compiling with continuations, Cambridge University Press.
3. Z Ariola, M Felleisen, J Maraist, M Odersky & P Wadler [Jan 1995], "A call by need lambda calculus," in 21st ACM Symposium on Principles of Programming Languages, San Francisco, ACM.
4. DF Bacon, SL Graham & OJ Sharp [Dec 1994], "Compiler transformations for high-performance computing," ACM Computing Surveys 26, 345-420.
5. C Flanagan, A Sabry, B Duba & M Felleisen [June 1993], "The essence of compiling with continuations," SIGPLAN Notices 28, 237-247.
6. S Fortune, D Leivant & M O'Donnell [Jan 1983], "The expressiveness of simple and second-order type structures," JACM 30, 151-185.
7. P Fradet & D Le Metayer [Jan 1991], "Compilation of functional languages by program transformation," ACM Transactions on Programming Languages and Systems 13, 21-51.
8. AJ Gill [Jan 1996], "Cheap deforestation for non-strict functional languages," PhD thesis, Department of Computing Science, Glasgow University.
9. P Hudak, SL Peyton Jones, PL Wadler, Arvind, B Boutel, J Fairbairn, J Fasel, M Guzman, K Hammond, J Hughes, T Johnsson, R Kieburtz, RS Nikhil, W Partain & J Peterson [May 1992], "Report on the functional programming language Haskell, Version 1.2," SIGPLAN Notices 27.
10. RJM Hughes [July 1983], "The design and implementation of programming languages," PhD thesis, Programming Research Group, Oxford.
11. R Kelsey [May 1989], "Compilation by program transformation," YALEU/DCS/RR-702, PhD thesis, Department of Computer Science, Yale University.
12. R Kelsey & P Hudak [Jan 1989], "Realistic compilation by program transformation," in Proc ACM Conference on Principles of Programming Languages, ACM, 281-292.
13. DA Kranz [May 1988], "ORBIT - an optimising compiler for Scheme," PhD thesis, Department of Computer Science, Yale University.
14. DA Kranz, R Kelsey, J Rees, P Hudak, J Philbin & N Adams [1986], "ORBIT - an optimising compiler for Scheme," in Proc SIGPLAN Symposium on Compiler Construction, ACM.
15. J Launchbury [Jan 1993], "A natural semantics for lazy evaluation," in 20th ACM Symposium on Principles of Programming Languages, Charleston, ACM, 144-154.
16. WD Partain [1993], "The nofib Benchmark Suite of Haskell Programs," in Functional Programming, Glasgow 1992, J Launchbury & PM Sansom, eds., Workshops in Computing, Springer Verlag, 195-202.
17. SL Peyton Jones [1987], The Implementation of Functional Programming Languages, Prentice Hall.
18. SL Peyton Jones [Apr 1992], "Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine," Journal of Functional Programming 2, 127-202.
19. SL Peyton Jones, CV Hall, K Hammond, WD Partain & PL Wadler [March 1993], "The Glasgow Haskell compiler: a technical overview," in Proceedings of Joint Framework for Information Technology Technical Conference, Keele, DTI/SERC, 249-257.
20. SL Peyton Jones & J Launchbury [Sept 1991], "Unboxed values as first class citizens," in Functional Programming Languages and Computer Architecture, Boston, Hughes, ed., LNCS 523, Springer Verlag, 636-666.
21. SL Peyton Jones & D Lester [May 1991], "A modular fully-lazy lambda lifter in HASKELL," Software - Practice and Experience 21, 479-506.
22. SL Peyton Jones & WD Partain [1993], "Measuring the effectiveness of a simple strictness analyser," in Functional Programming, Glasgow 1993, K Hammond & JT O'Donnell, eds., Workshops in Computing, Springer Verlag, 201-220.
23. SL Peyton Jones & A Santos [1994], "Compilation by transformation in the Glasgow Haskell Compiler," in Functional Programming, Glasgow 1994, K Hammond, DN Turner & PM Sansom, eds., Workshops in Computing, Springer Verlag, 184-204.
24. A Santos [Sept 1995], "Compilation by transformation in non-strict functional languages," PhD thesis, Department of Computing Science, Glasgow University.
25. JE Smith [Oct 1988], "Characterising computer performance with a single number," Communications of the ACM 31, 1202-1207.