{"id":"https://openalex.org/W2921872003","doi":"https://doi.org/10.1145/3310089.3313180","title":"LambdaLab: an interactive \u03bb-calculus reducer for learning","display_name":"LambdaLab: an interactive \u03bb-calculus reducer for learning","publication_year":2018,"publication_date":"2018-11-05","ids":{"openalex":"https://openalex.org/W2921872003","doi":"https://doi.org/10.1145/3310089.3313180","mag":"2921872003"},"language":"en","primary_location":{"id":"doi:10.1145/3310089.3313180","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3310089.3313180","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037778570","display_name":"Daniel Sainati","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Daniel Sainati","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004782337","display_name":"Adrian Sampson","orcid":"https://orcid.org/0000-0003-0837-8924"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adrian Sampson","raw_affiliation_strings":["Cornell University, USA"],"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5037778570"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":0.4887,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74583763,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"10","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7387586832046509},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.5621654391288757},{"id":"https://openalex.org/keywords/intuition","display_name":"Intuition","score":0.5580294728279114},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.49648600816726685},{"id":"https://openalex.org/keywords/macro","display_name":"Macro","score":0.48839467763900757},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4619835317134857},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4494136571884155},{"id":"https://openalex.org/keywords/situation-calculus","display_name":"Situation calculus","score":0.43756037950515747},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4293230473995209},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.4262514114379883},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.312219500541687},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.16626542806625366},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.08993315696716309}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7387586832046509},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.5621654391288757},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.5580294728279114},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.49648600816726685},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.48839467763900757},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4619835317134857},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4494136571884155},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.43756037950515747},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4293230473995209},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.4262514114379883},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.312219500541687},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.16626542806625366},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.08993315696716309},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3310089.3313180","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3310089.3313180","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM SIGPLAN Workshop on SPLASH-E","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8700000047683716,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W116274693","https://openalex.org/W1518650316","https://openalex.org/W2044999110","https://openalex.org/W2052351392","https://openalex.org/W2064811181","https://openalex.org/W2096314727","https://openalex.org/W2963248774"],"related_works":["https://openalex.org/W2361805396","https://openalex.org/W2972254340","https://openalex.org/W2364252372","https://openalex.org/W4234066492","https://openalex.org/W1805912688","https://openalex.org/W1998063895","https://openalex.org/W1967044713","https://openalex.org/W2373973507","https://openalex.org/W2133470120","https://openalex.org/W2022231341"],"abstract_inverted_index":{"In":[0],"advanced":[1],"programming":[2],"languages":[3],"curricula,":[4],"the":[5,10,14,41,68],"\u03bb-calculus":[6,31,48],"often":[7],"serves":[8],"as":[9],"foundation":[11],"for":[12,36,98],"teaching":[13],"formal":[15],"concepts":[16],"of":[17,63,70,110],"language":[18],"syntax":[19],"and":[20,33,54,84,96,122,138],"semantics.":[21],"LambdaLab":[22,60,132],"is":[23],"an":[24,75],"interactive":[25,87],"tool":[26],"that":[27,117],"helps":[28],"students":[29],"practice":[30],"reduction":[32,88,94],"build":[34],"intuition":[35],"its":[37],"behavior.":[38],"To":[39,105],"motivate":[40],"tool,":[42],"we":[43,112],"survey":[44],"student":[45,136],"answers":[46],"to":[47,80,89,120,129],"assignments":[49],"in":[50],"three":[51],"previous":[52],"classes":[53],"sort":[55],"mistakes":[56],"into":[57,135],"six":[58],"categories.":[59],"addresses":[61],"many":[62],"these":[64],"problems":[65],"by":[66],"replicating":[67],"experience":[69],"working":[71],"through":[72],"examples":[73],"with":[74],"instructor.":[76],"It":[77],"uses":[78],"visualizations":[79],"convey":[81],"AST":[82],"structure":[83],"reducible":[85],"expressions,":[86],"support":[90,97],"self-guided":[91],"practice,":[92],"configurable":[93],"strategies,":[95],"encodings":[99],"via":[100],"a":[101,114],"simple":[102],"macro":[103],"system.":[104],"mimic":[106],"informal,":[107],"in-class":[108],"treatment":[109],"macros,":[111],"develop":[113],"new":[115],"semantics":[116],"describes":[118],"when":[119],"expand":[121],"contract":[123],"them.":[124],"We":[125],"use":[126],"case":[127],"studies":[128],"describe":[130],"how":[131],"can":[133],"fit":[134],"workflows":[137],"address":[139],"real":[140],"mistakes.":[141]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}