Edwin Brady (2017):
Type-Driven Development with Idris.
Manning Publications,
USA.
Richard L. Burden & J. Douglas Faires (1985):
Numerical Analysis,
third edition.
Prindle, Weber, & Schmidt.
Code.org (2017):
Lesson 13: Introduction to Arrays.
Accessed 2018-05-18.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt & Shriram Krishnamurthi (2001):
How to Design Programs: An Introduction to Programming and Computing,
First edition.
MIT Press,
Cambridge, MA, USA.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt & Shriram Krishnamurthi (2018):
How to Design Programs: An Introduction to Programming and Computing,
Second edition.
MIT Press,
Cambridge, MA, USA.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barsilay, Jay McCarthy & Sam Tobin-Hochstadt (2018):
A Programmable Programming Language.
Commun. ACM 61(13),
pp. 62–71,
doi:10.1145/3127223.
William Ford & William Topp (1996):
Data Structures with C++,
first edition.
Prentice Hall.
Michael T. Goodrich & Roberto Tamassia (2001):
Data Structures and Algorithms in Java,
second edition.
John Wiley & Sons.
Donald E. Knuth (1998):
The Art of Computer Programming, Volume 3: Sorting and Searching,
second edition.
Addison Wesley Longman Publishing Co., Inc.,
Redwood City, CA, USA.
Marco T. Morazán (2011):
Functional Video Games in the CS1 Classroom.
In: Rex Page, Zoltán Horváth & Viktória Zsók: Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers,
Lecture Notes in Computer Science.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 166–183,
doi:10.1007/978-3-642-22941-1_11.
Marco T. Morazán (2012):
Functional Video Games in CS1 II.
In: Ricardo Peña & Rex Page: Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers,
Lecture Notes in Computer Science 7193.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 146–162,
doi:10.1007/978-3-642-32037-8_10.
Marco T. Morazán (2014):
Functional Video Games in CS1 III.
In: Jay McCarthy: Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers,
Lecture Notes in Computer Science 8322.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 149–167,
doi:10.1007/978-3-642-45340-3_10.
Marco T. Morazán (2015):
Generative and Accumulative Recursion Made Fun for Beginners.
Comput. Lang. Syst. Struct. 44(PB),
pp. 181–197,
doi:10.1016/j.cl.2015.08.001.
Marco T. Morazán (2018):
Infusing an HtDP-Based CS1 with Distributed Programming Using Functional Video Games.
Journal of Functional Programming 28,
pp. e5,
doi:10.1017/S0956796818000059.
Marco T. Morazán (2018):
Vector Programming Using Structural Recursion.
In: Simon Thompson: Proceedings Sixth Workshop on Trends in Functional Programming in Education, Canterbury, Kent UK, 22 June 2017,
Electronic Proceedings in Theoretical Computer Science 270.
Open Publishing Association,
pp. 1–17,
doi:10.4204/EPTCS.270.1.
Robert Sedgewick & Kevin Wayne (2007):
Introduction to Programming in Java: An Interdisciplinary Approach,
1st edition.
Addison-Wesley Publishing Company,
USA.
Abraham Silberschatz, Peter Baer Galvin & Greg Gagne (2010):
Operating System Concepts wit Java,
eighth edition.
John Wiley & Sons.
Paul T. Tymann & G. Michael Schneider (2004):
Modern Software Development Using Java.
Thomson Brooks/Cole.
Hongwei Xi (2007):
Dependent ML An Approach to Practical Programming with Dependent Types.
J. Funct. Program. 17(2),
pp. 215–286,
doi:10.1017/S0956796806006216.
eptcs@eptcs.org