{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:02Z","timestamp":1750220942809,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"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":[[2018,11,5]]},"DOI":"10.1145\/3310089.3313180","type":"proceedings-article","created":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T12:24:31Z","timestamp":1552393471000},"page":"10-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["LambdaLab: an interactive \u03bb-calculus reducer for learning"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Sainati","sequence":"first","affiliation":[{"name":"Cornell University, USA"}]},{"given":"Adrian","family":"Sampson","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Annual Conference of the Japanese Society for Artificial Intelligence. Springer, 193\u2013208","author":"Bekki Daisuke","year":"2008","unstructured":"Daisuke Bekki . 2008 . Monads and meta-lambda calculus . In Annual Conference of the Japanese Society for Artificial Intelligence. Springer, 193\u2013208 . Daisuke Bekki. 2008. Monads and meta-lambda calculus. In Annual Conference of the Japanese Society for Artificial Intelligence. Springer, 193\u2013208."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.25088\/ComplexSystems.22.4.311"},{"key":"e_1_3_2_1_3_1","volume-title":"A note on the Entscheidungsproblem. The journal of symbolic logic 1, 1","author":"Church Alonzo","year":"1936","unstructured":"Alonzo Church . 1936. A note on the Entscheidungsproblem. The journal of symbolic logic 1, 1 ( 1936 ), 40\u201341. Alonzo Church. 1936. A note on the Entscheidungsproblem. The journal of symbolic logic 1, 1 (1936), 40\u201341."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/645395.651947"},{"key":"e_1_3_2_1_5_1","volume-title":"Robert Bruce Findler, and Matthew Flatt","author":"Felleisen Matthias","year":"2009","unstructured":"Matthias Felleisen , Robert Bruce Findler, and Matthew Flatt . 2009 . Semantics engineering with PLT Redex. Mit Press . Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt. 2009. Semantics engineering with PLT Redex. Mit Press."},{"unstructured":"Ranjit Jhala. 2018. Elsa. https:\/\/github.com\/ucsd-progsys\/elsa  Ranjit Jhala. 2018. Elsa. https:\/\/github.com\/ucsd-progsys\/elsa","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2594291.2594319"},{"key":"e_1_3_2_1_8_1","volume-title":"A tutorial introduction to the lambda calculus. arXiv preprint arXiv:1503.09060","author":"Rojas Ra\u00fal","year":"2015","unstructured":"Ra\u00fal Rojas . 2015. A tutorial introduction to the lambda calculus. arXiv preprint arXiv:1503.09060 ( 2015 ). Ra\u00fal Rojas. 2015. A tutorial introduction to the lambda calculus. arXiv preprint arXiv:1503.09060 (2015)."},{"volume-title":"The essence of computation","author":"Sestoft Peter","unstructured":"Peter Sestoft . 2002. Demonstrating Lambda Calculus Reduction . In The essence of computation . Springer , 420\u2013435. Peter Sestoft. 2002. Demonstrating Lambda Calculus Reduction. In The essence of computation. Springer, 420\u2013435.","key":"e_1_3_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/258993.259019"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/2676726.2676976"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SPLASH '18","name":"SPLASH '18: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Boston MA USA"},"container-title":["Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3310089.3313180","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3310089.3313180","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:36Z","timestamp":1750204416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3310089.3313180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":11,"alternative-id":["10.1145\/3310089.3313180","10.1145\/3310089"],"URL":"https:\/\/doi.org\/10.1145\/3310089.3313180","relation":{},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}