@misc(tum_numbers,
 title        = {{Facts and Figures -- TUM Department of Informatics}},
 howpublished = {\url{https://www.in.tum.de/in/die-fakultaet/profil-der-fakultaet/die-fakultaet-in-zahlen/}},
 note         = {Accessed: 2022-06-27},
)
@article(soccerfun,
 author       = {Peter Achten},
 year         = {2011},
 title        = {{The Soccer-Fun project}},
 journal      = {J. Funct. Program.},
 volume       = {21},
 pages        = {1--19},
 doi          = {10.1017/S0956796810000055},
)
@article(teaching_fp_glossy_games,
 author       = {Jos{\'{e}}~Bacelar Almeida and Alcino Cunha and Nuno Macedo and Hugo Pacheco and Proen{\c{c}}a, Jos{\'{e}}},
 year         = {2018},
 title        = {{Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)}},
 journal      = {Proc. {ACM} Program. Lang.},
 volume       = {2},
 number       = {{ICFP}},
 pages        = {82:1--82:17},
 doi          = {10.1145/3236777},
)
@article(next_1100,
 author       = {Jasmin~Christian Blanchette and Lars Hupel and Tobias Nipkow and Lars Noschinski and Dmitriy Traytel},
 year         = {2014},
 title        = {{Experience Report: The next 1100 Haskell Programmers}},
 journal      = {SIGPLAN Not.},
 volume       = {49},
 number       = {12},
 pages        = {25–30},
 doi          = {10.1145/2775050.2633359},
)
@article(student_engagement,
 author       = {Robert~M. Carini and George~D. Kuh and Stephen~P. Klein},
 year         = {2006},
 title        = {{Student Engagement and Student Learning: Testing the Linkages*}},
 journal      = {Research in Higher Education},
 volume       = {47},
 pages        = {1--32},
 doi          = {10.1007/s11162-005-8150-9},
)
@article(fp_first_year_risks_benefits,
 author       = {Manuel M.~T. Chakravarty and Gabriele Keller},
 year         = {2004},
 title        = {{The risks and benefits of teaching purely functional programming in first year}},
 journal      = {J. Funct. Program.},
 volume       = {14},
 number       = {1},
 pages        = {113--123},
 doi          = {10.1017/S0956796803004805},
)
@article(quickcheck,
 author       = {Koen Claessen and John Hughes},
 year         = {2011},
 title        = {{QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs}},
 journal      = {SIGPLAN Not.},
 volume       = {46},
 number       = {4},
 pages        = {53–64},
 doi          = {10.1145/1988042.1988046},
)
@inproceedings(engagingprogramming,
 author       = {Malcolm Corney and Donna Teague and Richard~N. Thomas},
 year         = {2010},
 title        = {{Engaging Students in Programming}},
 booktitle    = {Proceedings of the Twelfth Australasian Conference on Computing Education - Volume 103},
 series       = {ACE '10},
 publisher    = {Australian Computer Society, Inc.},
 address      = {AUS},
 pages        = {63–72},
)
@article(fast_and_loose,
 author       = {Nils~Anders Danielsson and John Hughes and Patrik Jansson and Jeremy Gibbons},
 year         = {2006},
 title        = {{Fast and Loose Reasoning is Morally Correct}},
 journal      = {SIGPLAN Not.},
 volume       = {41},
 number       = {1},
 pages        = {206–217},
 doi          = {10.1145/1111320.1111056},
)
@article(onlineengagement3,
 author       = {Marcia~D. Dixson},
 year         = {2012},
 title        = {Creating effective student engagement in online courses: What do students find engaging?},
 journal      = {Journal of the Scholarship of Teaching and Learning},
 volume       = {10},
 number       = {2},
 pages        = {1–13},
 url          = {https://scholarworks.iu.edu/journals/index.php/josotl/article/view/1744},
)
@article(cramming1,
 author       = {John Dunlosky and Katherine~A. Rawson and Elizabeth~J. Marsh and Mitchell~J. Nathan and Daniel~T. Willingham},
 year         = {2013},
 title        = {{Improving Students’ Learning With Effective Learning Techniques: Promising Directions From Cognitive and Educational Psychology}},
 journal      = {Psychological Science in the Public Interest},
 volume       = {14},
 number       = {1},
 pages        = {4--58},
 doi          = {10.1177/1529100612453266},
)
@article(students_lockdown1,
 author       = {Timon Elmer and Kieran Mepham and Christoph Stadtfeld},
 year         = {2020-07},
 title        = {{Students under lockdown: Comparisons of students’ social networks and mental health before and during the COVID-19 crisis in Switzerland}},
 journal      = {PLoS ONE},
 volume       = {15},
 number       = {7},
 pages        = {e0236337},
 doi          = {10.3929/ethz-b-000428501},
)
@inproceedings(increase_interest_fp,
 author       = {Pedro Figueir{\^{e}}do and Yuri Kim and Le~Minh Nghia and Evan Sitt and Xue Ying and Vikt{\'{o}}ria Zs{\'{o}}k},
 year         = {2020},
 title        = {{How to Increase Interest in Studying Functional Programming via Interdisciplinary Application}},
 booktitle    = {Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, {TFPIE} 2020},
 series       = {{EPTCS}},
 volume       = {321},
 pages        = {37--54},
 doi          = {10.4204/EPTCS.321.3},
)
@article(steppingocaml,
 author       = {Tsukino Furukawa and Youyou Cong and Kenichi Asai},
 year         = {2019},
 title        = {{Stepping OCaml}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {295},
 pages        = {17--34},
 doi          = {10.4204/EPTCS.295.2},
)
@article(teaching_art_fp_automated,
 author       = {Aliya Hameer and Brigitte Pientka},
 year         = {2019},
 title        = {{Teaching the Art of Functional Programming using Automated Grading (Experience Report)}},
 journal      = {Proc. {ACM} Program. Lang.},
 volume       = {3},
 number       = {{ICFP}},
 pages        = {115:1--115:15},
 doi          = {10.1145/3341719},
)
@book(haskell_school_hudak,
 author       = {Paul Hudak},
 year         = {2000},
 title        = {{The Haskell school of expression: learning functional programming through multimedia}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511818073},
)
@article(teaching_fp_chalmers,
 author       = {John Hughes},
 year         = {2008},
 title        = {{Experiences from teaching functional programming at Chalmers}},
 journal      = {{ACM} {SIGPLAN} Notices},
 volume       = {43},
 number       = {11},
 pages        = {77--80},
 doi          = {10.1145/1480828.1480845},
)
@article(impact_social_interaction,
 author       = {Beth Hurst and Randall~R. Wallace and Sarah~B. Nixon},
 year         = {2013},
 title        = {{The Impact of Social Interaction on Student Learning}},
 journal      = {Reading Horizons},
 volume       = {52},
 pages        = {375--398},
)
@article(teaching_fp_first_year,
 author       = {Stef Joosten and Klaas van~den Berg and Gerrit van Der~Hoeven},
 year         = {1993},
 title        = {{Teaching Functional Programming to First-Year Students}},
 journal      = {J. Funct. Program.},
 volume       = {3},
 number       = {1},
 pages        = {49--65},
 doi          = {10.1017/S0956796800000599},
)
@article(cramming2,
 author       = {Nate Kornell},
 year         = {2009},
 title        = {{Optimising learning using flashcards: Spacing is more effective than cramming}},
 journal      = {Applied Cognitive Psychology},
 volume       = {23},
 number       = {9},
 pages        = {1297--1317},
 doi          = {10.1002/acp.1537},
)
@phdthesis(isabelle_functions,
 author       = {Alexander Krauss},
 year         = {2009},
 title        = {{Automating recursive definitions and termination proofs in higher-order logic}},
 school       = {Technical University Munich},
 url          = {http://mediatum2.ub.tum.de/doc/681651/document.pdf},
)
@inproceedings(artemis,
 author       = {Stephan Krusche and Andreas Seitz},
 year         = {2018},
 title        = {{ArTEMiS: An Automatic Assessment Management System for Interactive Learning}},
 booktitle    = {Proceedings of the 49th ACM Technical Symposium on Computer Science Education},
 series       = {SIGCSE '18},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {284–289},
 doi          = {10.1145/3159450.3159602},
)
@article(onlineengagement2,
 author       = {Cassandra Lewis and Abdul-Hamid, Husein},
 year         = {2006},
 title        = {{Implementing Effective Online Teaching Practices: Voices of Exemplary Faculty}},
 journal      = {Innovative Higher Education},
 volume       = {31},
 pages        = {83--98},
 doi          = {10.1007/s10755-006-9010-z},
)
@inproceedings(largeprogrammingclass,
 author       = {Hrafn Loftsson and Ásrún Matthíasdóttir},
 year         = {2021},
 title        = {{Moving Classes in a Large Programming Course Online: An Experience Report}},
 booktitle    = {Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal},
 series       = {OASIcs},
 volume       = {91},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
 doi          = {10.4230/OASIcs.ICPEC.2021.2},
)
@article(comp_sci_growth2,
 author       = {Prashant Loyalka and Ou~Lydia Liu and Guirong Li and Igor Chirikov and Elena Kardanova and Lin Gu and Guangming Ling and Ningning Yu and Fei Guo and Liping Ma and Shangfeng Hu and Angela~Sun Johnson and Ashutosh Bhuradia and Saurabh Khanna and Isak Froumin and Jinghuan Shi and Pradeep~Kumar Choudhury and Tara Beteille and Francisco Marmolejo and Namrata Tognatta},
 year         = {2019},
 title        = {{Computer science skills across China, India, Russia, and the United States}},
 journal      = {Proceedings of the National Academy of Sciences},
 volume       = {116},
 number       = {14},
 pages        = {6732--6736},
 doi          = {10.1073/pnas.1814646116},
)
@article(onlineengagement4,
 author       = {Fred Nafukho and Misha Chakraborty},
 year         = {2014},
 title        = {{Strengthening student engagement: What do students want in online courses?}},
 journal      = {European Journal of Training and Development},
 volume       = {38},
 pages        = {782--802},
 doi          = {10.1108/EJTD-11-2013-0123},
)
@book(comp_sci_growth1,
 author       = {{National Academies of Sciences, Engineering, and Medicine}},
 year         = {2018},
 title        = {{Assessing and Responding to the Growth of Computer Science Undergraduate Enrollments}},
 publisher    = {The National Academies Press},
 address      = {Washington, DC},
 doi          = {10.17226/24926},
)
@book(isabelle,
 author       = {Tobias Nipkow and Lawrence~C. Paulson and Markus Wenzel},
 year         = {2002},
 title        = {{Isabelle/HOL - {A} Proof Assistant for Higher-Order Logic}},
 series       = {Lecture Notes in Computer Science},
 volume       = {2283},
 publisher    = {Springer},
 doi          = {10.1007/3-540-45949-9},
)
@article(automatedassessment,
 author       = {Jos\'{e}~Carlos Paiva and Jos\'{e}~Paulo Leal and \'{A}lvaro Figueira},
 year         = {2022},
 title        = {{Automated Assessment in Computer Science Education: A State-of-the-Art Review}},
 journal      = {ACM Trans. Comput. Educ.},
 volume       = {22},
 number       = {3},
 doi          = {10.1145/3513140},
)
@article(onlineengagement5,
 author       = {Alexandra Pentaraki and Gary Burkholder},
 year         = {2017},
 title        = {{Emerging Evidence Regarding the Roles of Emotional, Behavioural, and Cognitive Aspects of Student Engagement in the Online Classroom}},
 journal      = {European Journal of Open, Distance and E-Learning},
 volume       = {20},
 pages        = {1--21},
 doi          = {10.1515/eurodl-2017-0001},
)
@inproceedings(livecoding2,
 author       = {Adalbert Gerald~Soosai Raj and Jignesh~M. Patel and Richard Halverson and Erica~Rosenfeld Halverson},
 year         = {2018},
 title        = {{Role of Live-Coding in Learning Introductory Programming}},
 booktitle    = {Proceedings of the 18th Koli Calling International Conference on Computing Education Research},
 series       = {Koli Calling '18},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 doi          = {10.1145/3279720.3279725},
)
@article(cyp_holes,
 author       = {Dennis Renz and Sibylle Schwarz and Johannes Waldmann},
 year         = {2020},
 title        = {{Check Your (Students') Proofs-With Holes}},
 journal      = {CoRR},
 volume       = {abs/2009.01326},
 doi          = {10.48550/arXiv.2009.01326},
)
@article(livecoding1,
 author       = {Marc Rubin},
 year         = {2013},
 title        = {{The Effectiveness of Live-Coding to Teach Introductory Programming}},
 journal      = {ACM Special Interest Group on Computer Science Education (SIGCSE)},
 doi          = {10.1145/2445196.2445388},
)
@inproceedings(smallcheck,
 author       = {Colin Runciman and Matthew Naylor and Fredrik Lindblad},
 year         = {2008},
 title        = {{Smallcheck and Lazy Smallcheck: Automatic Exhaustive Testing for Small Values}},
 booktitle    = {Proceedings of the First ACM SIGPLAN Symposium on Haskell},
 series       = {Haskell '08},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {37–48},
 doi          = {10.1145/1411286.1411292},
)
@inbook(onlinecourse1,
 author       = {Kalpathi Subramanian and Kiran Budhrani},
 year         = {2020},
 title        = {{Influence of Course Design on Student Engagement and Motivation in an Online Course}},
 pages        = {303–308},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 doi          = {10.1145/3328778.3366828},
)
@inproceedings(iotest1,
 author       = {Wouter Swierstra and Thorsten Altenkirch},
 year         = {2007},
 title        = {{Beauty in the Beast}},
 booktitle    = {Proceedings of the ACM SIGPLAN Workshop on Haskell Workshop},
 series       = {Haskell '07},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {25–36},
 doi          = {10.1145/1291201.1291206},
)
@inproceedings(teaching_fp_macedonian,
 author       = {Kire Trivodaliev and Biljana~Risteska Stojkoska and Marija Mihova and Mile Jovanov and Slobodan Kalajdziski},
 year         = {2017},
 title        = {{Teaching Computer Programming: the Macedonian Case Study of Functional Programming}},
 booktitle    = {2017 {IEEE} Global Engineering Education Conference, {EDUCON} 2017, Athens, Greece, April 25-28, 2017},
 publisher    = {{IEEE}},
 pages        = {1282--1289},
 doi          = {10.1109/EDUCON.2017.7943013},
)
@article(onlineengagement1,
 author       = {Kristen~A. Walker and Katherine~E. Koralesky},
 year         = {2021},
 title        = {{Student and instructor perceptions of engagement after the rapid online transition of teaching due to COVID-19}},
 journal      = {Natural Sciences Education},
 volume       = {50},
 number       = {1},
 pages        = {e20038},
 doi          = {10.1002/nse2.20038},
)
@article(iotest2,
 author       = {Oliver Westphal and Janis Voigtländer},
 year         = {2020},
 title        = {{Describing Console I/O Behavior for Testing Student Submissions in Haskell}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {321},
 pages        = {19--36},
 doi          = {10.4204/EPTCS.321.2},
)
@article(engagementproposals,
 author       = {Nick Zepke and Linda Leach},
 year         = {2010},
 title        = {{Improving student engagement: Ten proposals for action}},
 journal      = {Active Learning in Higher Education},
 volume       = {11},
 pages        = {167--177},
 doi          = {10.1177/1469787410379680},
)