{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T21:41:48Z","timestamp":1780609308497,"version":"3.54.1"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030753320","type":"print"},{"value":"9783030753337","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-75333-7_6","type":"book-chapter","created":{"date-parts":[[2021,5,5]],"date-time":"2021-05-05T16:16:45Z","timestamp":1620231405000},"page":"97-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Framework for Generating Diverse Haskell-I\/O Exercise Tasks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8947-0348","authenticated-orcid":false,"given":"Oliver","family":"Westphal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,5,6]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the International Conference on Functional Programming, pp. 268\u2013279. ACM (2000). https:\/\/doi.org\/10.1145\/351240.351266","DOI":"10.1145\/351240.351266"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-59451-5_3","volume-title":"Advanced Functional Programming","author":"J Hughes","year":"1995","unstructured":"Hughes, J.: The design of a pretty-printing library. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol. 925, pp. 53\u201396. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59451-5_3"},{"issue":"1\u20133","key":"6_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J Hughes","year":"2000","unstructured":"Hughes, J.: Generalising monads to arrows. Sci. Comput. Program. 37(1\u20133), 67\u2013111 (2000). https:\/\/doi.org\/10.1016\/S0167-6423(99)00023-4","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/3231711","volume":"19","author":"H Keuning","year":"2019","unstructured":"Keuning, H., Jeuring, J., Heeren, B.: A systematic literature review of automated feedback generation for programming exercises. ACM Trans. Comput. Educ. 19(1), 3:1\u20133:43 (2019). https:\/\/doi.org\/10.1145\/3231711","journal-title":"ACM Trans. Comput. Educ."},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Kurt-Karaoglu, F., Schwinning, N., Striewe, M., Zurmaar, B., Goedicke, M.: A framework for generic exercises with mathematical content. In: International Conference on Learning and Teaching in Computing and Engineering, LaTiCE 2015, pp. 70\u201375. IEEE (2015). https:\/\/doi.org\/10.1109\/LaTiCE.2015.11","DOI":"10.1109\/LaTiCE.2015.11"},{"key":"6_CR6","unstructured":"Le, N.T., Pinkwart, N.: Towards a classification for programming exercises. In: Proceedings of the 2nd Workshop on AI-Supported Education for Computer Science, AIEDCS 2014 (2014)"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Mosbeck, M., Hauer, D., Jantsch, A.: VELS: VHDL e-learning system for automatic generation and evaluation of per-student randomized assignments. In: IEEE Nordic Circuits and Systems Conference, NORCAS 2018: NORCHIP and International Symposium of System-on-Chip (SoC), pp. 1\u20137. IEEE (2018). https:\/\/doi.org\/10.1109\/NORCHIP.2018.8573455","DOI":"10.1109\/NORCHIP.2018.8573455"},{"key":"6_CR8","unstructured":"Rahn, M., Richter, A., Waldmann, J.: The Leipzig autotool e-learning\/e-testing system. In: Symposium on Math Tutoring, Tools and Feedback. Open Universiteit Nederland (2008). http:\/\/www.imn.htwk-leipzig.de\/~waldmann\/talk\/08\/ou08\/tool.pdf. Accessed July 2020"},{"key":"6_CR9","doi-asserted-by":"publisher","unstructured":"Siegburg, M., Voigtl\u00e4nder, J., Westphal, O.: Automatische Bewertung von Haskell-Programmieraufgaben. In: Proceedings of the Fourth Workshop \u201cAutomatische Bewertung von Programmieraufgaben\u201d, pp. 19\u201326. GI (2019). https:\/\/doi.org\/10.18420\/abp2019-3","DOI":"10.18420\/abp2019-3"},{"key":"6_CR10","unstructured":"Striewe, M., Balz, M., Goedicke, M.: A flexible and modular software architecture for computer aided assessments and automated marking. In: CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, 23\u201326 March 2009, vol. 2, pp. 54\u201361. INSTICC Press (2009)"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Swierstra, W., Altenkirch, T.: Beauty in the Beast. A Functional Semantics for the Awkward Squad. In: Proceedings of the Haskell Workshop, pp. 25\u201336. ACM (2007). https:\/\/doi.org\/10.1145\/1291201.1291206","DOI":"10.1145\/1291201.1291206"},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"365","DOI":"10.2190\/MJDX-9PP4-KFMT-09PM","volume":"8","author":"JJG Van Merri\u00ebnboer","year":"1992","unstructured":"Van Merri\u00ebnboer, J.J.G., De Croock, M.B.M.: Strategies for computer-based programming instruction: program completion vs. program generation. J. Educ. Comput. Res. 8(3), 365\u2013394 (1992). https:\/\/doi.org\/10.2190\/MJDX-9PP4-KFMT-09PM","journal-title":"J. Educ. Comput. Res."},{"key":"6_CR13","unstructured":"Waldmann, J.: Automatische Erzeugung und Bewertung von Aufgaben zu Algorithmen und Datenstrukturen. In: Proceedings of the ABP, CEUR WS, vol. 2015 (2017)"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Welbl, J., Liu, N.F., Gardner, M.: Crowdsourcing multiple choice science questions. In: Proceedings of the 3rd Workshop on Noisy User-Generated Text, NUT@EMNLP 2017, pp. 94\u2013106. Association for Computational Linguistics (2017). https:\/\/doi.org\/10.18653\/v1\/w17-4413","DOI":"10.18653\/v1\/w17-4413"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Westphal, O., Voigtl\u00e4nder, J.: Describing Console I\/O Behavior for Testing Student Submissions in Haskell. In: Proceedings of the Eighth and Ninth International Workshop on Trends in Functional Programming in Education, EPTCS, vol. 321, pp. 19\u201336. EPTCS (2020). https:\/\/doi.org\/10.4204\/EPTCS.321.2","DOI":"10.4204\/EPTCS.321.2"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-030-59025-3_11","volume-title":"Functional and Logic Programming","author":"O Westphal","year":"2020","unstructured":"Westphal, O., Voigtl\u00e4nder, J.: Implementing, and Keeping in Check, a DSL Used in E-learning. In: Nakano, K., Sagonas, K. (eds.) FLOPS 2020. LNCS, vol. 12073, pp. 179\u2013197. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59025-3_11"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-75333-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,5]],"date-time":"2021-05-05T16:17:56Z","timestamp":1620231476000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-75333-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030753320","9783030753337"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-75333-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"6 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WFLP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Functional and Constraint Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bologna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wflp2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/helm.cs.unibo.it\/wflp2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}