References

  1. Martin Abadi, Luca Cardelli, Pierre-Louis Curien & Jean-Jacques Lévy (1990): Explicit Substitutions. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '90. ACM, New York, NY, USA, pp. 31–46, doi:10.1145/96709.96712.
  2. Adam Bakewell & Colin Runciman (2000): The Space Usage Problem: An Evaluation Kit for Graph Reduction Semantics. In: Selected Papers from the 2nd Scottish Functional Programming Workshop (SFP00). Intellect Books, Exeter, UK, pp. 115–128, doi:10.1.1.23.3087.
  3. Richard S. Bird & Philip. Wadler (1998): Introduction to functional programming using Haskell. Prentice-Hall.
  4. Manuel M.T. Chakravarty & Gabriele Keller (2004): The risks and benefits of teaching purely functional programming in first year.. Journal of Functional Programming 14(1), pp. 113–123, doi:10.1017/S0956796803004805.
  5. Olaf Chitil, Colin Runciman & Malcolm Wallace (2003): Transforming Haskell for Tracing. In: Ricardo Peña & Thomas Arts: Implementation of Functional Languages, Lecture Notes in Computer Science 2670. Springer Berlin Heidelberg, pp. 165–181, doi:10.1007/3-540-44854-3_11.
  6. Koen Claessen & John Hughes (2000): QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP '00. ACM, New York, NY, USA, pp. 268–279, doi:10.1145/351240.351266.
  7. Alex Gerdes (2012): Ask-Elle: a Haskell Tutor. PhD thesis, Open Universiteit Nederland.
  8. Bastiaan Heeren & Johan Jeuring (2014): Feedback services for stepwise exercises. Science of Computer Programming 88(0), pp. 110 – 129, doi:10.1016/j.scico.2014.02.021.
  9. Bastiaan Heeren, Johan Jeuring & Alex Gerdes (2010): Specifying Rewrite Strategies for Interactive Exercises. Mathematics in Computer Science 3(3), pp. 349–370, doi:10.1007/s11786-010-0027-4.
  10. Bastiaan Heeren, Daan Leijen & Arjan van IJzendoorn (2003): Helium, for learning Haskell. In: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, Haskell '03. ACM, New York, NY, USA, pp. 62–71, doi:10.1145/871895.871902.
  11. Gérard Huet (1997): The Zipper. Journal of Functional Programming 7(5), pp. 549–554, doi:10.1017/S0956796897002864.
  12. Graham Hutton (2007): Programming in Haskell. Cambridge University Press, doi:10.1017/CBO9780511813672.
  13. Johan Jeuring, Alex Gerdes & Bastiaan Heeren (2012): A Programming Tutor for Haskell. In: Viktória Zsók, Zoltán Horváth & Rinus Plasmeijer: Central European Functional Programming School, Lecture Notes in Computer Science 7241. Springer Berlin Heidelberg, pp. 1–45, doi:10.1007/978-3-642-31374-5.
  14. Aravind K. Krishna & Amruth N. Kumar (2001): A Problem Generator to Learn Expression: Evaluation in CSI, and Its Effectiveness. J. Comput. Sci. Coll. 16(4), pp. 34–43.
  15. Amruth N. Kumar (2005): Results from the Evaluation of the Effectiveness of an Online Tutor on Expression Evaluation. In: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE '05. ACM, New York, NY, USA, pp. 216–220, doi:10.1145/1047344.1047422.
  16. Essi Lahtinen, Kirsti Ala-Mutka & Hannu-Matti Järvinen (2005): A Study of the Difficulties of Novice Programmers. In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE '05. ACM, New York, NY, USA, pp. 14–18, doi:10.1145/1151954.1067453.
  17. John Launchbury (1993): A Natural Semantics for Lazy Evaluation. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '93. ACM, New York, NY, USA, pp. 144–154, doi:10.1145/158511.158618.
  18. Miran Lipovaca (2011): Learn You a Haskell for Great Good!: A Beginner's Guide, 1st edition. No Starch Press, San Francisco, CA, USA.
  19. Natalia López, Manuel Núñez, Ismael Rodríguez & Fernando Rubio (2002): What: Web-Based Haskell Adaptive Tutor. In: Donia Scott: Artificial Intelligence: Methodology, Systems, and Applications, Lecture Notes in Computer Science 2443. Springer Berlin Heidelberg, pp. 71–80, doi:10.1007/3-540-46148-5_8.
  20. Ben Millwood (2011): stepeval library: Evaluating a Haskell expression step-by-step. Available at https://github.com/bmillwood/stepeval.
  21. Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren & José Pedro Magalhães (2010): A lightweight approach to datatype-generic rewriting. Journal of Functional Programming 20, pp. 375–413, doi:10.1017/S0956796810000183.
  22. Tim Olmer (2014): Evaluation of Haskell expressions in a tutoring environment. Open Universiteit Nederland. Available at http://hdl.handle.net/1820/5389.
  23. Bryan O'Sullivan, John Goerzen & Don Stewart (2008): Real World Haskell, 1st edition. O'Reilly Media, Inc..
  24. Cristóbal Pareja-Flores, Jamie Urquiza-Fuentes & J. Ángel Velázquez-Iturbide (2007): WinHIPE: An IDE for Functional Programming Based on Rewriting and Visualization. SIGPLAN Not. 42(3), pp. 14–23, doi:10.1145/1273039.1273042.
  25. Jan Rochel (2010): The Very Lazy λ-calculus and the STEC Machine. In: Proceedings of the 21st International Conference on Implementation and Application of Functional Languages, IFL'09. Springer-Verlag, Berlin, Heidelberg, pp. 198–217, doi:10.1007/978-3-642-16478-1_12.
  26. Peter Sestoft (2002): Demonstrating lambda calculus reduction. In: The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, number 2566 in Lecture Notes in Computer Science. Springer-Verlag, pp. 420–435, doi:10.1007/3-540-36377-7_19.
  27. Jan Sparud & Colin Runciman (1997): Tracing lazy functional computations using redex trails. In: Hugh Glaser, Pieter Hartel & Herbert Kuchen: Programming Languages: Implementations, Logics, and Programs, Lecture Notes in Computer Science 1292. Springer Berlin Heidelberg, pp. 291–308, doi:10.1007/BFb0033851.
  28. Simon Thompson (2011): Haskell: The Craft of Functional Programming, 3rd edition. Addison-Wesley Longman Publishing Co., Inc..
  29. Arto Vihavainen, Matti Paksula & Matti Luukkainen (2011): Extreme Apprenticeship Method in Teaching Programming for Beginners. In: Proceedings of the 42Nd ACM Technical Symposium on Computer Science Education, SIGCSE '11. ACM, New York, NY, USA, pp. 93–98, doi:10.1145/1953163.1953196.
  30. Eelco Visser, Zine-el-Abidine Benaissa & Andrew Tolmach (1998): Building Program Optimizers with Rewriting Strategies. In: ICFP 1998: International Conference on Functional Programming, pp. 13–26, doi:10.1145/289423.289425.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org