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.
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.
Richard S. Bird & Philip. Wadler (1998):
Introduction to functional programming using Haskell.
Prentice-Hall.
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.
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.
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.
Alex Gerdes (2012):
Ask-Elle: a Haskell Tutor.
PhD thesis, Open Universiteit Nederland.
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.
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.
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.
Gérard Huet (1997):
The Zipper.
Journal of Functional Programming 7(5),
pp. 549–554,
doi:10.1017/S0956796897002864.
Graham Hutton (2007):
Programming in Haskell.
Cambridge University Press,
doi:10.1017/CBO9780511813672.
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.
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.
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.
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.
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.
Miran Lipovaca (2011):
Learn You a Haskell for Great Good!: A Beginner's Guide,
1st edition.
No Starch Press,
San Francisco, CA, USA.
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.
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.
Tim Olmer (2014):
Evaluation of Haskell expressions in a tutoring environment.
Open Universiteit Nederland.
Available at http://hdl.handle.net/1820/5389.
Bryan O'Sullivan, John Goerzen & Don Stewart (2008):
Real World Haskell,
1st edition.
O'Reilly Media, Inc..
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.
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.
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.
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.
Simon Thompson (2011):
Haskell: The Craft of Functional Programming,
3rd edition.
Addison-Wesley Longman Publishing Co., Inc..
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.
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.