Fine control of demand in haskell

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2386, Issue , 2002, Pages 68-93

  Harrison, William ^a   Sheard, Tim ^a   Hook, James ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL MECHANICS; DIFFERENTIATION (CALCULUS); FORMAL METHODS; PATTERN MATCHING; SEMANTICS;

CASE EXPRESSION; EVALUATION ORDER; FORMAL SEMANTICS; FUNCTIONAL LANGUAGES; HASKELL; LAMBDA CALCULUS; LAZY LANGUAGES;

COMPUTATIONAL LINGUISTICS;

EID: 84878154771     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45442-X_6     Document Type: Conference Paper

References (20)

1. Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. McGraw Hill, Cambridge, Mass., second edition, 1996.
2. Olivier Danvy, Jürgen Koslowski, and Karoline Malmkjær. Compiling monads. Technical Report CIS-92-3, Kansas State University, Manhattan, Kansas, December 1991.
3. Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes. Essentials of Programming Languages. McGraw-Hill Book Co., New York, N.Y., second edition, 2001.
4. Murdoch Gabbay and Andrew Pitts. A new approach to abstract syntax involving binders. In G. Longo, editor, Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS’99), pages 214–224, Trento, Italy, July 1999. IEEE Computer Society Press.
5. Carl A. Gunter. Semantics of Programming Languages: Programming Techniques. The MIT Press, Cambridge, Massac husetts, 1992.
6. Cordelia Hall, Kevin Hammond, Simon Peyton Jones, and Phillip Wadler. Type classes in haskell. In Proceedings of the European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 241–256. Springer Verlag, April 1994.
7. Mark P. Jones. A system of constructor classes: Overloading and implicit higherorder polymorphism. In FPCA’93: Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark, pages 52–61, New York, N.Y., June 1993. ACM Press.
8. Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In Conference record of POPL’95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages., pages 333–343. ACM Press, January 1995.
9. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
10. Eugenio Moggi. Functor categories and two-level languages. In Proceedings of the First International Conference on Foundations of Software Science and Computation Structure (FoSSaCS’98), volume 1378 of Lecture Notes in Computer Science, pages 211–223. Springer Verlag, 1998.
11. Simon Peyton Jones. The Implementation of Functional Programming Languages. Computer Science. Prentice-Hall, 1987.
12. Simon Peyton Jones. Implementing lazy functional languages on stock hardware: The spineless tagless G-machine. Journal of Functional Programming, 2(2):127–202, July 1992.
13. Simon Peyton Jones and John Hughes (editors). Report on the programming language Haskell 98. February 1999.
14. Simon Peyton Jones and Simon Marlowe. Secrets of the glasgow haskell compiler inliner. In Proceedings of the Workshop on Implementing Declarative Languages (IDL’99), September 1999.
15. Simon Peyton Jones and André L. M. Santos. A transformation-based optimiser for Haskell. Science of Computer Programming, 32(1–3):3–47, September 1998.
16. Andrew Pitts and Murdoch Gabbay. A metalanguage for programming with bound names modulo renaming. In Mathematics of Program Construction, volume 1837 of Lecture Notes in Computer Science, pages 230–255. Springer Verlag, 2000.
17. Rinus Plasmeijer and Marko van Eekelen. Functional programming: Keep it clean: A unique approach to functional programming. ACM SIGPLAN Notices, 34(6):23–31, June 1999.
18. Programatica Home Page. http://www.cse.ogi.edu/PacSoft/projects/programatica. James Hook, Prin - cipal Investigator.
19. Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cam bridge, Massac husetts, 1977.
20. Phillip Wadler. The essence of functional programming. 19th POPL, pages 1–14, January 1992