{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:24:19Z","timestamp":1760711059483,"version":"3.28.0"},"reference-count":55,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,12]]},"DOI":"10.1109\/vl\/hcc53370.2022.9833131","type":"proceedings-article","created":{"date-parts":[[2022,8,17]],"date-time":"2022-08-17T19:41:54Z","timestamp":1660765314000},"page":"1-11","source":"Crossref","is-referenced-by-count":8,"title":["End-user encounters with lambda abstraction in spreadsheets: Apollo\u2019s bow or Achilles\u2019 heel?"],"prefix":"10.1109","author":[{"given":"Advait","family":"Sarkar","sequence":"first","affiliation":[{"name":"Microsoft Research,Cambridge,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sruti Srinivasa","family":"Ragavan","sequence":"additional","affiliation":[{"name":"Microsoft Research,Cambridge,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack","family":"Williams","sequence":"additional","affiliation":[{"name":"Microsoft Research,Cambridge,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[{"name":"Microsoft Research,Cambridge,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The Calculi of Lambda Conversion","year":"1941","author":"church","key":"ref13"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2307\/1968337"},{"article-title":"LAMBDA: The ultimate imperative","year":"1976","author":"steel","key":"ref15"},{"key":"ref14","article-title":"Correspondence between ALGOL 60 and Church’s lambda-notation: parts I and II","volume":"8","author":"landin","year":"1965","journal-title":"Communications of the ACM"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9296-2"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2015.70"},{"key":"ref11","first-page":"5","article-title":"The abstract is an enemy: Alternative perspectives to computational thinking","author":"blackwell","year":"2008","journal-title":"PPIG"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1287\/isre.1.2.115"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3334480.3382806"},{"key":"ref54","first-page":"28","article-title":"How do people learn to use spreadsheets? (work in progress)","author":"sarkar","year":"2018","journal-title":"Proceedings of the 29th Annual Conference of the Psychology of Programming Interest Group (PPIG 2018)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-5386-X_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1996.0009"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2001.0216"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/238218.238281"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.129"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1118178.1118215"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1111\/0735-2751.00041"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.86"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1111\/j.1083-6101.2007.00393.x"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173973"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2858036.2858494"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1080\/02699939208411069"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2018.8506584"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173694"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.2307\/2091957"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796820000234"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944721"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3491102.3501833"},{"article-title":"Konrad Zuse’s Z4: architecture, programming, and modifications at the ETH Zurich","year":"2002","author":"rojas","key":"ref4"},{"article-title":"Excel Lambda","year":"2021","author":"munroe","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003828"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/20.3.269"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2004.47"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1177\/0049124113500475"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1191\/1478088706qp063oa"},{"journal-title":"The Coding Manual for Qualitative Researchers","year":"2021","author":"salda\u00f1a","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3359174"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2556420.2556483"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(91)90040-E"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2017.8103462"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803200"},{"article-title":"LAMBDA: The ultimate Excel worksheet function","year":"2021","author":"gordon","key":"ref2"},{"article-title":"Announcing LAMBDA: Turn Excel formulas into custom functions","year":"2020","author":"jones","key":"ref1"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445634"},{"key":"ref38","article-title":"A craft practice of programming language research","author":"blackwell","year":"2018","journal-title":"Proceedings of the Psychology of Programming Interest Group (PPIG) Conference"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00427-8_2"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44914-8_27"},{"article-title":"Spreadsheet engineering: A research framework","year":"2007","author":"grossman","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-5386-X_9"},{"journal-title":"Watch What I Do Programming by Demonstration","year":"1993","author":"kurlander","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38706-7_8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1922649.1922658"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2010.22"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.4018\/joeuc.2013070101"}],"event":{"name":"2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","start":{"date-parts":[[2022,9,12]]},"location":"Roma, Italy","end":{"date-parts":[[2022,9,16]]}},"container-title":["2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9832907\/9832909\/09833131.pdf?arnumber=9833131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T19:08:00Z","timestamp":1684782480000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833131\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/vl\/hcc53370.2022.9833131","relation":{},"subject":[],"published":{"date-parts":[[2022,9,12]]}}}