{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:23:49Z","timestamp":1764361429050,"version":"3.46.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031997501"},{"type":"electronic","value":"9783031997518"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99751-8_22","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T01:19:08Z","timestamp":1759281548000},"page":"511-532","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using GHC core to\u00a0Normalise Student Programs"],"prefix":"10.1007","author":[{"given":"Matilda","family":"Blomqvist","sequence":"first","affiliation":[]},{"given":"Alex","family":"Gerdes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-71067-7_8","volume-title":"Theorem Proving in Higher Order Logics","author":"K Aehlig","year":"2008","unstructured":"Aehlig, K., Haftmann, F., Nipkow, T.: A compiled implementation of normalization by evaluation. In: Mohamed, O.A., Mu\u00f1oz, C., Tahar, S. (eds.) TPHOLs 2008. LNCS, vol. 5170, pp. 39\u201354. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-71067-7_8"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Algaraibeh, S.M., Dousay, T.A., Jeffery, C.L.: Integrated learning development environment for learning and teaching C\/C++ language to novice programmers. In: IEEE Frontiers in Education Conference (FIE), pp.\u00a01\u20135 (2020)","DOI":"10.1109\/FIE44824.2020.9273887"},{"key":"22_CR3","unstructured":"Blomqvist, M.: Improving Recognition of Student Programs in Ask-Elle. Master\u2019s thesis, Chalmers University of Technology (2023)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: A lightweight tool for random testing of Haskell programs. SIGPLAN Not. 35(9), 268\u2013279 (2000)","DOI":"10.1145\/357766.351266"},{"key":"22_CR5","unstructured":"Diehl, S.: https:\/\/www.stephendiehl.com\/posts\/ghc_01.html"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Farmer, A., Gill, A., Komp, E., Sculthorpe, N.: The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. SIGPLAN Not. 47(12), 1\u201312 (2012)","DOI":"10.1145\/2430532.2364508"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Gerdes, A., Heeren, B., Jeuring, J., van Binsbergen, L.T.: Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback. Int. J. Artif. Intell. Educ. 27 (2016)","DOI":"10.1007\/s40593-015-0080-x"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0304-3975(86)90044-7","volume":"45","author":"JY Girard","year":"1986","unstructured":"Girard, J.Y.: The system F of variable types, fifteen years later. Theoret. Comput. Sci. 45, 159\u2013192 (1986)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Harrington, B., Peng, S., Jin, X., Khan, M.: Gender, confidence, and mark prediction in CS examinations. In: Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, pp. 230\u2013235. ITiCSE 2018, ACM (2018)","DOI":"10.1145\/3197091.3197116"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Math. Comput. Sci. 3, 349\u2013370 (2010)","DOI":"10.1007\/s11786-010-0027-4"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Heeren, B., Leijen, D., van IJzendoorn, A.: Helium, for learning Haskell. In: Proceedings of the 2003 ACM SIGPLAN Workshop on Haskell, pp. 62\u201371. Haskell \u201903, ACM (2003)","DOI":"10.1145\/871895.871902"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Jones, S.L.P.: Compiling Haskell by program transformation: a report from the trenches. In: Nielson, H.R. (ed.) Programming Languages and Systems \u2014 ESOP \u201996, pp. 18\u201344. Springer (1996)","DOI":"10.1007\/3-540-61055-3_27"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"K\u00f6lling, M., Quig, B., Patterson, A., Rosenberg, J.: The BlueJ System and its Pedagogy. Comput. Sci. Educ. 13 (2003)","DOI":"10.1076\/csed.13.4.249.17496"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Kumar, A.N.: The effect of using problem-solving software tutors on the self-confidence of female students. In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, pp. 523\u2013527. ACM (2008)","DOI":"10.1145\/1352135.1352309"},{"issue":"4","key":"22_CR15","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2005.02.053","volume":"141","author":"H Li","year":"2005","unstructured":"Li, H., Thompson, S., Reinke, C.: The Haskell Refactorer, HaRe, and its API. Electr. Notes Theor. Comput. Sci. 141(4), 29\u201334 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s40593-020-00222-2","volume":"31","author":"J Lodder","year":"2021","unstructured":"Lodder, J., Heeren, B., Jeuring, J., Neijenhuis, W.: Generation and use of hints and feedback in a hilbert-style axiomatic proof tutor. Int. J. Artif. Intell. Educ. 31(1), 99\u2013133 (2021)","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"McCracken, M., et al.: A multi-national, multi-institutional study of assessment of programming skills of first-year CS students. In: Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education, pp. 125\u2013180. ACM (2001)","DOI":"10.1145\/572133.572137"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Nienaltowski, M.H., Pedroni, M., Meyer, B.: Compiler error messages: what can help novices? In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, pp. 168\u2013172. SIGCSE \u201908, ACM (2008)","DOI":"10.1145\/1352135.1352192"},{"key":"22_CR19","unstructured":"Peyton\u00a0Jones, S.: Haskell 98 language and libraries: the revised report. Cambridge University Press (2003)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Peyton\u00a0Jones, S., Marlow, S.: Secrets of the glasgow Haskell compiler inliner. J. Funct. Program. 12, 393\u2013433 (2002)","DOI":"10.1017\/S0956796802004331"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1615\/JWomenMinorScienEng.2020028567","volume":"26","author":"B Spieler","year":"2020","unstructured":"Spieler, B., Oates-Indruchova, L., Slany, W.: Female students in computer science education: understanding stereotypes, negative impacts, and positive motivation. J. Women Minorities Sci. Eng. 26, 473\u2013510 (2020)","journal-title":"J. Women Minorities Sci. Eng."},{"key":"22_CR22","doi-asserted-by":"publisher","unstructured":"Sulzmann, M., Chakravarty, M.M.T., Jones, S.P., Donnelly, K.: System f with type equality coercions. In: Proceedings of the 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, pp. 53\u201366. TLDI \u201907, Association for Computing Machinery, New York, NY, USA (2007). https:\/\/doi.org\/10.1145\/1190315.1190324","DOI":"10.1145\/1190315.1190324"},{"key":"22_CR23","unstructured":"Tolmach, A., Chevalier, T., GHC Team: An External Representation for the GHC Core Language (For GHC 6.10). GHC online documentation"},{"issue":"4","key":"22_CR24","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1080\/00461520.2011.611369","volume":"46","author":"K VanLehn","year":"2011","unstructured":"VanLehn, K.: The relative effectiveness of human tutoring, intelligent tutoring systems, and other tutoring systems. Educ. Psychol. 46(4), 197\u2013221 (2011)","journal-title":"Educ. Psychol."},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Whittall, S.J., Prashandi, W.A.C., Himasha, G.L.S., De\u00a0Silva, D.I., Suriyawansa, T.K.: CodeMage: Educational programming environment for beginners. In: 9th International Conference on Knowledge and Smart Technology (KST), pp. 311\u2013316 (2017)","DOI":"10.1109\/KST.2017.7886101"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99751-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:22:09Z","timestamp":1764361329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99751-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031997501","9783031997518"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99751-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TFP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Trends in Functional Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oxford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tfp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/trendsfp.github.io\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}