{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T05:46:35Z","timestamp":1784180795272,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T00:00:00Z","timestamp":1221955200000},"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":[],"published-print":{"date-parts":[[2008,9,21]]},"DOI":"10.1145\/1411260.1411264","type":"proceedings-article","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T13:39:01Z","timestamp":1222177141000},"page":"21-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Functional programming and theorem proving for undergraduates"],"prefix":"10.1145","author":[{"given":"Rex","family":"Page","sequence":"first","affiliation":[{"name":"University of Oklahoma, Norman, OK, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carl","family":"Eastlund","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,9,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001258"},{"key":"e_1_3_2_1_2_1","volume-title":"T. and J. Hughes. Erlang\/QuickCheck. In Ninth International Erlang\/OTP User Conference","author":"Arts","year":"2003"},{"key":"e_1_3_2_1_3_1","first-page":"37","volume-title":"Java Report","volume":"3","author":"Beck K.","year":"1998"},{"key":"e_1_3_2_1_4_1","first-page":"146","volume-title":"Automated Reasoning and Its Applications: Essays in Honor of Larry Wos","author":"Boyer R. S.","year":"1996"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.09.018"},{"key":"e_1_3_2_1_8_1","first-page":"200","volume-title":"ACL2 '07: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications","author":"Eastlund C.","year":"2007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_10_1","volume-title":"MIT Press","author":"Felleisen M.","year":"2001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Findler R. B. C.\n       \n      Flanagan M.\n       \n      Flatt S.\n       \n      Krishnamurthi\n     \n      \n      \n      and \n      M.\n       \n      Felleisen\n      \n  \n  . \n  DrScheme: A pedagogic programming environment for Scheme. In Glaser H. P. Hartel and H. Kuchen editors Programming Languages: Implementations Logics and Programs volume \n  1292\n   of \n  LNCS pages \n  369\n  --\n  388 Southampton UK September \n  1997\n  . \n  Springer\n  .   Findler R. B. C. Flanagan M. Flatt S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Glaser H. P. Hartel and H. Kuchen editors Programming Languages: Implementations Logics and Programs volume 1292 of LNCS pages 369--388 Southampton UK September 1997. Springer.","DOI":"10.1007\/BFb0033856"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/11737414_18","volume-title":"8th International Symposium, FLOPS","author":"Ignatoff D.","year":"2006"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/555902"},{"key":"e_1_3_2_1_15_1","volume-title":"Kluwer Academic Publishers","author":"Kaufmann M.","year":"2000"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944713"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085114.1085123"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680700634X"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217975.1217999"}],"event":{"name":"ICFP08: ACM SIGPLAN International Conference on Functional Programming","location":"Victoria BC Canada","acronym":"ICFP08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2008 international workshop on Functional and declarative programming in education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411260.1411264","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411260.1411264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:47Z","timestamp":1750253387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411260.1411264"}},"subtitle":["a progress report"],"short-title":[],"issued":{"date-parts":[[2008,9,21]]},"references-count":19,"alternative-id":["10.1145\/1411260.1411264","10.1145\/1411260"],"URL":"https:\/\/doi.org\/10.1145\/1411260.1411264","relation":{},"subject":[],"published":{"date-parts":[[2008,9,21]]},"assertion":[{"value":"2008-09-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}