Sara Baase
1988
Computer Algorithms
second
Addison-Wesley Publishing
Reading, MA, USA
Edwin Brady
2017
Type-Driven Development with Idris
Manning Publications
USA
Richard L. Burden
J. Douglas Faires
1985
Numerical Analysis
third
Prindle, Weber, & Schmidt
Code.org
2017
Lesson 13: Introduction to Arrays
Matthias Felleisen
Robert Bruce Findler
Matthew Flatt
Shriram Krishnamurthi
2001
How to Design Programs: An Introduction to Programming and Computing
MIT Press
Cambridge, MA, USA
Matthias Felleisen
Robert Bruce Findler
Matthew Flatt
Shriram Krishnamurthi
2015
How to Design Programs
Http://www.ccs.neu.edu/home/matthias/HtDP2e/
William Ford
William Topp
1996
Data Structures with C++
first
Prentice Hall
Michael T. Goodrich
Roberto Tamassia
2001
Data Structures and Algorithms in Java
second
John Wiley & Sons
Donald E. Knuth
1998
The Art of Computer Programming, Volume 3: Sorting and Searching
second
Addison Wesley Longman Publishing Co., Inc.
Redwood City, CA, USA
Marco T. Morazán
2011
Functional Video Games in the CS1 Classroom
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
166–183
10.1007/978-3-642-22941-1_11
Marco T. Morazán
2012
Functional Video Games in CS1 II
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
146–162
10.1007/978-3-642-32037-8_10
Marco T. Morazán
2014
Functional Video Games in CS1 III
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
149–167
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
181–197
10.1016/j.cl.2015.08.001
Robert Sedgewick
Kevin Wayne
2007
Introduction to Programming in Java: An Interdisciplinary Approach
1st
Addison-Wesley Publishing Company
USA
Abraham Silberschatz
Peter Baer Galvin
Greg Gagne
2010
Operating System Concepts wit Java
eighth
John Wiley & Sons
Paul T. Tymann
G. Michael Schneider
2004
Modern Software Development Using Java
Thomson Brooks/Cole
Stewart Venit
Wayne Bishop
1985
Elementary Linear Algebra
second
Prindle, Weber, and Schmidt
Hongwei Xi
2007
Dependent ML An Approach to Practical Programming with Dependent Types
J. Funct. Program.
17
2
215–286
10.1017/S0956796806006216