{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:37Z","timestamp":1772163997454,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,27]],"date-time":"2010-09-27T00:00:00Z","timestamp":1285545600000},"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":[[2010,9,27]]},"DOI":"10.1145\/1863543.1863563","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T13:41:50Z","timestamp":1285681310000},"page":"129-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["TeachScheme!"],"prefix":"10.1145","author":[{"given":"Matthias","family":"Felleisen","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,9,27]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"200","volume-title":"Proc. 7th ACL2 Workshop","author":"Eastlund C.","year":"2007","unstructured":"}} C. Eastlund , D. Vaillancourt , and M. Felleisen . ACL2 for freshmen-first experiences . In Proc. 7th ACL2 Workshop , pages 200 -- 211 , 2007 . }}C. Eastlund, D. Vaillancourt, and M. Felleisen. ACL2 for freshmen-first experiences. In Proc. 7th ACL2 Workshop, pages 200--211, 2007."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538803"},{"key":"e_1_3_2_2_3_1","volume-title":"How to Design Programs","author":"Felleisen M.","year":"2001","unstructured":"}} M. Felleisen , R. B. Findler , M. Flatt , and S. Krishnamurthi . How to Design Programs . MIT Press , 2001 . }}M. Felleisen, R. B. Findler, M. Flatt, and S. Krishnamurthi. How to Design Programs. MIT Press, 2001."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1076\/csed.14.1.55.23499"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005076"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_3_2_2_7_1","volume-title":"PLT Inc.","author":"Flatt M.","year":"2010","unstructured":"}} M. Flatt and P LT. Reference: Racket . Technical report , PLT Inc. , June 2010 . http:\/\/racket-lang.org\/tr1\/. }}M. Flatt and PLT. Reference: Racket. Technical report, PLT Inc., June 2010. http:\/\/racket-lang.org\/tr1\/."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944713"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411260.1411264"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","location":"Baltimore Maryland USA","acronym":"ICFP '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 15th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863563","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863543.1863563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:39:52Z","timestamp":1750232392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863563"}},"subtitle":["a checkpoint"],"short-title":[],"issued":{"date-parts":[[2010,9,27]]},"references-count":9,"alternative-id":["10.1145\/1863543.1863563","10.1145\/1863543"],"URL":"https:\/\/doi.org\/10.1145\/1863543.1863563","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1932681.1863563","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,9,27]]},"assertion":[{"value":"2010-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}