{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:34Z","timestamp":1750306054366,"version":"3.41.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,5,16]],"date-time":"2017-05-16T00:00:00Z","timestamp":1494892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Inroads"],"published-print":{"date-parts":[[2017,5,16]]},"abstract":"<jats:p>How to integrate mathematical thinking more fully into the computer science curriculum is a perennial problem for CS educators. A key part of that integration is designing the discrete math course so that its relevance to programming and software development is evident. A discrete math course that also introduces programming in the functional style provides an ideal context for this integration, as well as having additional curricular benefits. We report on our experience teaching a course on discrete mathematics and functional programming, give the outline for such a course, and survey the available resources.<\/jats:p>","DOI":"10.1145\/3078325","type":"journal-article","created":{"date-parts":[[2017,5,16]],"date-time":"2017-05-16T19:51:21Z","timestamp":1494964281000},"page":"51-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Functional programming as a discrete mathematics topic"],"prefix":"10.1145","volume":"8","author":[{"given":"Thomas","family":"VanDrunen","sequence":"first","affiliation":[{"name":"Wheaton College (IL)"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,5,16]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2537753.2537777"},{"key":"e_1_2_1_2_1","unstructured":"Beseme project; http:\/\/www.cs.ou.edu\/~beseme\/. Accessed 2016 July 5.  Beseme project; http:\/\/www.cs.ou.edu\/~beseme\/. Accessed 2016 July 5."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/971300.971448"},{"volume-title":"The Haskell Road to Logic, Maths and Programming","year":"2004","author":"Doets K.","key":"e_1_2_1_4_1"},{"volume-title":"May 2002","year":"2016","author":"Graham P.","key":"e_1_2_1_5_1"},{"volume-title":"The Proceedings of the International Workshop on Functional and Declarative Programming in Education, 2002","year":"2016","author":"Henderson P.","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2710023"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568195.2568207"},{"volume-title":"Computer Science Curriculum 2008: An Interim Revision of CS","year":"2001","author":"The Interim Review Task Force","key":"e_1_2_1_9_1"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.149.4"},{"volume-title":"Computing Curricula","year":"2001","author":"The Joint Task Force on Computing Curricula.","key":"e_1_2_1_11_1"},{"volume-title":"Computer Science Curricula","year":"2013","author":"The Joint Task Force on Computing Curricula.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1080\/08993408.2015.1033205"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1227310.1227348"},{"volume-title":"March 1998","year":"2016","author":"Norvig P.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1146361"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944713"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953163.1953247"},{"volume-title":"The Proceedings of the International Workshop on Functional and Declarative Programming in Education, 2002","year":"2016","author":"Scharff C.","key":"e_1_2_1_19_1"},{"key":"e_1_2_1_20_1","unstructured":"Spolsky J. Can your programming language do this? http:\/\/www.joelonsoftware.com\/items\/2006\/08\/01.html. Accessed 2016 July 5.  Spolsky J. Can your programming language do this? http:\/\/www.joelonsoftware.com\/items\/2006\/08\/01.html. Accessed 2016 July 5."},{"volume-title":"NM","year":"2014","author":"Stavely A.","key":"e_1_2_1_21_1"},{"volume-title":"book","year":"2016","author":"VanDrunen T.","key":"e_1_2_1_22_1"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048180"},{"volume-title":"Oregon, Franklin","year":"2013","author":"VanDrunen T.","key":"e_1_2_1_24_1"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/134510.134540"},{"issue":"4","key":"e_1_2_1_26_1","first-page":"97","article-title":"Enhancing the teaching and learning of functions through functiona programming","volume":"23","author":"Xing C","year":"2008","journal-title":"Journal of Computer Sciences in Colleges"}],"container-title":["ACM Inroads"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3078325","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3078325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:32Z","timestamp":1750215812000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3078325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,16]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,5,16]]}},"alternative-id":["10.1145\/3078325"],"URL":"https:\/\/doi.org\/10.1145\/3078325","relation":{},"ISSN":["2153-2184","2153-2192"],"issn-type":[{"type":"print","value":"2153-2184"},{"type":"electronic","value":"2153-2192"}],"subject":[],"published":{"date-parts":[[2017,5,16]]},"assertion":[{"value":"2017-05-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}