{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T04:59:02Z","timestamp":1782968342041,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":136,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T00:00:00Z","timestamp":1697587200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2220991"],"award-info":[{"award-number":["2220991"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,18]]},"DOI":"10.1145\/3622758.3622890","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T13:41:55Z","timestamp":1697722915000},"page":"50-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Trustworthy Formal Natural Language Specifications"],"prefix":"10.1145","author":[{"given":"Colin S.","family":"Gordon","sequence":"first","affiliation":[{"name":"Drexel University, Philadelphia, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergey","family":"Matskevich","sequence":"additional","affiliation":[{"name":"Drexel University, Philadelphia, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Lasha Abzianidze Johannes Bjerva Kilian Evang Hessel Haagsma Rik van Noord Pierre Ludmann Duc-Duy Nguyen and Johan Bos. 2017. The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations. In EACL. Lasha Abzianidze Johannes Bjerva Kilian Evang Hessel Haagsma Rik van Noord Pierre Ludmann Duc-Duy Nguyen and Johan Bos. 2017. The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations. In EACL.","DOI":"10.18653\/v1\/E17-2039"},{"key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Die syntaktische konnexit\u00e4t","volume":"1","author":"Ajdukiewicz Kazimierz","year":"1935","unstructured":"Kazimierz Ajdukiewicz . 1935 . Die syntaktische konnexit\u00e4t . Studia Philosophica , 1 : 1 \u2013 27 . Reprinted in Storrs McCall, ed., Polish Logic 1920\u20131939, 207\u2013231. Kazimierz Ajdukiewicz. 1935. Die syntaktische konnexit\u00e4t. Studia Philosophica, 1: 1\u201327. Reprinted in Storrs McCall, ed., Polish Logic 1920\u20131939, 207\u2013231.","journal-title":"Studia Philosophica"},{"key":"e_1_3_2_1_3_1","volume-title":"The core language engine","author":"Alshawi Hiyan","unstructured":"Hiyan Alshawi . 1992. The core language engine . MIT press . Hiyan Alshawi. 1992. The core language engine. MIT press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10579-017-9379-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932501"},{"key":"e_1_3_2_1_6_1","unstructured":"Andrew W. Appel. 2022. Verified Functional Algorithms (Software Foundations Vol. 3). Andrew W. Appel. 2022. Verified Functional Algorithms (Software Foundations Vol. 3)."},{"key":"e_1_3_2_1_7_1","unstructured":"Yoav Artzi. 2016. Cornell SPF: Cornell Semantic Parsing Framework. arxiv:arXiv:1311.3011. Yoav Artzi. 2016. Cornell SPF: Cornell Semantic Parsing Framework. arxiv:arXiv:1311.3011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.starsem-1.22"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3115\/1067807.1067836"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800177.810072"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/410452"},{"key":"e_1_3_2_1_12_1","volume-title":"Direct compositionality","unstructured":"2007. Direct compositionality , Chris Barker and Pauline Jacobson (Eds.). Oxford University Press . 2007. Direct compositionality, Chris Barker and Pauline Jacobson (Eds.). Oxford University Press."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Chris Barker and Chung-chieh Shan. 2014. Continuations and natural language. 53 Oxford Studies in Theoretical. Chris Barker and Chung-chieh Shan. 2014. Continuations and natural language. 53 Oxford Studies in Theoretical.","DOI":"10.1093\/acprof:oso\/9780199575015.001.0001"},{"key":"e_1_3_2_1_14_1","volume-title":"Logic and Interactive Rationality (LIRA) Yearbook","volume":"1","author":"Bekki Daisuke","year":"2012","unstructured":"Daisuke Bekki . 2012 . Dependent Type Semantics: An Introduction . In Logic and Interactive Rationality (LIRA) Yearbook 2012, Volume 1 . 277\u2013300. Daisuke Bekki. 2012. Dependent Type Semantics: An Introduction. In Logic and Interactive Rationality (LIRA) Yearbook 2012, Volume 1. 277\u2013300."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43742-1_2"},{"key":"e_1_3_2_1_16_1","volume-title":"Bender and Guy Emerson","author":"Emily","year":"2021","unstructured":"Emily M. Bender and Guy Emerson . 2021 . Computational linguistics and grammar engineering. In Head-Driven Phrase Structure Grammar: The Handbook muller2021head. Emily M. Bender and Guy Emerson. 2021. Computational linguistics and grammar engineering. In Head-Driven Phrase Structure Grammar: The Handbook muller2021head."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(83)80005-4"},{"key":"e_1_3_2_1_18_1","unstructured":"Stephen A Boxwell and Chris Brew. 2010. A Pilot Arabic CCGbank.. In LREC. Stephen A Boxwell and Chris Brew. 2010. A Pilot Arabic CCGbank.. In LREC."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11422532_4"},{"key":"e_1_3_2_1_20_1","volume-title":"Type-logical semantics","author":"Carpenter Bob","unstructured":"Bob Carpenter . 1997. Type-logical semantics . MIT press . Bob Carpenter. 1997. Type-logical semantics. MIT press."},{"key":"e_1_3_2_1_21_1","volume-title":"The Turing-completeness of multimodal categorial grammars. JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday","author":"Carpenter Bob","unstructured":"Bob Carpenter . 1999. The Turing-completeness of multimodal categorial grammars. JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday . Institute for Logic, Language , and Computation, University of Amsterdam . Available on CD-ROM at http:\/\/turing. wins. uva. nl. Bob Carpenter. 1999. The Turing-completeness of multimodal categorial grammars. JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. Institute for Logic, Language, and Computation, University of Amsterdam. Available on CD-ROM at http:\/\/turing. wins. uva. nl."},{"key":"e_1_3_2_1_22_1","volume-title":"Natural Language Inference in Coq. Journal of Logic, Language, and Information, 23","author":"Chatzikyriakidis Stergios","year":"2014","unstructured":"Stergios Chatzikyriakidis and Zhaohui Luo . 2014. Natural Language Inference in Coq. Journal of Logic, Language, and Information, 23 ( 2014 ). Stergios Chatzikyriakidis and Zhaohui Luo. 2014. Natural Language Inference in Coq. Journal of Logic, Language, and Information, 23 (2014)."},{"key":"e_1_3_2_1_23_1","volume-title":"Modern perspectives in type-theoretical semantics","author":"Chatzikyriakidis Stergios","unstructured":"Stergios Chatzikyriakidis and Zhaohui Luo . 2017. On the interpretation of common nouns: Types versus predicates . In Modern perspectives in type-theoretical semantics . Springer , 43\u201370. Stergios Chatzikyriakidis and Zhaohui Luo. 2017. On the interpretation of common nouns: Types versus predicates. In Modern perspectives in type-theoretical semantics. Springer, 43\u201370."},{"key":"e_1_3_2_1_24_1","volume-title":"Modern perspectives in type-theoretical semantics. 98","author":"Chatzikyriakidis Stergios","unstructured":"Stergios Chatzikyriakidis and Zhaohui Luo . 2017. Modern perspectives in type-theoretical semantics. 98 , Springer . Stergios Chatzikyriakidis and Zhaohui Luo. 2017. Modern perspectives in type-theoretical semantics. 98, Springer."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 2003 Conference on Empirical Methods in Natural Language Processing (Conference on Empirical Methods on Natural Language Processing \u201903)","author":"Clark Stephen","unstructured":"Stephen Clark and James R. Curran . 2003. Log-linear Models for Wide-coverage CCG Parsing . In Proceedings of the 2003 Conference on Empirical Methods in Natural Language Processing (Conference on Empirical Methods on Natural Language Processing \u201903) . Association for Computational Linguistics, Stroudsburg, PA, USA. 97\u2013104. Stephen Clark and James R. Curran. 2003. Log-linear Models for Wide-coverage CCG Parsing. In Proceedings of the 2003 Conference on Empirical Methods in Natural Language Processing (Conference on Empirical Methods on Natural Language Processing \u201903). Association for Computational Linguistics, Stroudsburg, PA, USA. 97\u2013104."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1162\/coli.2007.33.4.493"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3115\/1073083.1073138"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_30_1","volume-title":"Applescript. In Proceedings of the third ACM SIGPLAN conference on History of programming languages. 1\u20131.","author":"Cook William R","year":"2007","unstructured":"William R Cook . 2007 . Applescript. In Proceedings of the third ACM SIGPLAN conference on History of programming languages. 1\u20131. William R Cook. 2007. Applescript. In Proceedings of the third ACM SIGPLAN conference on History of programming languages. 1\u20131."},{"key":"e_1_3_2_1_31_1","volume-title":"International Workshop on Controlled Natural Language. 170\u2013186","author":"Cramer Marcos","year":"2009","unstructured":"Marcos Cramer , Bernhard Fisseni , Peter Koepke , Daniel K\u00fchlwein , Bernhard Schr\u00f6der , and Jip Veldman . 2009 . The naproche project controlled natural language proof checking of mathematical texts . In International Workshop on Controlled Natural Language. 170\u2013186 . Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel K\u00fchlwein, Bernhard Schr\u00f6der, and Jip Veldman. 2009. The naproche project controlled natural language proof checking of mathematical texts. In International Workshop on Controlled Natural Language. 170\u2013186."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90036-1"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings 28","author":"Lon Adrian De","year":"2021","unstructured":"Adrian De Lon , Peter Koepke , Anton Lorenzen , Adrian Marti , Marcel Sch\u00fctz , and Makarius Wenzel . 2021 . The Isabelle\/Naproche natural language proof assistant. In Automated Deduction\u2013CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12\u201315, 2021 , Proceedings 28 . 614\u2013624. Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Sch\u00fctz, and Makarius Wenzel. 2021. The Isabelle\/Naproche natural language proof assistant. In Automated Deduction\u2013CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12\u201315, 2021, Proceedings 28. 614\u2013624."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"e_1_3_2_1_35_1","volume-title":"Efficient Normal-Form Parsing for Combinatory Categorial Grammar. In 34th Annual Meeting of the Association for Computational Linguistics. 79\u201386","author":"Eisner Jason","year":"1996","unstructured":"Jason Eisner . 1996 . Efficient Normal-Form Parsing for Combinatory Categorial Grammar. In 34th Annual Meeting of the Association for Computational Linguistics. 79\u201386 . Jason Eisner. 1996. Efficient Normal-Form Parsing for Combinatory Categorial Grammar. In 34th Annual Meeting of the Association for Computational Linguistics. 79\u201386."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00298"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.485225"},{"key":"e_1_3_2_1_38_1","volume-title":"Teaching and Learning Formal Methods","author":"Finney Kate M","unstructured":"Kate M Finney and Alex M Fedorec . 1996. An empirical study of specification readability . In Teaching and Learning Formal Methods . Academic Press . Kate M Finney and Alex M Fedorec. 1996. An empirical study of specification readability. In Teaching and Learning Formal Methods. Academic Press."},{"key":"e_1_3_2_1_39_1","volume-title":"Controlled Natural Language. In Workshop on Controlled Natural Language, CNL.","author":"Fuchs Norbert E","year":"2009","unstructured":"Norbert E Fuchs . 2009 . Controlled Natural Language. In Workshop on Controlled Natural Language, CNL. Norbert E Fuchs. 2009. Controlled Natural Language. In Workshop on Controlled Natural Language, CNL."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/519308.786905"},{"key":"e_1_3_2_1_41_1","volume-title":"First International Workshop on Controlled Language Applications (CLAW). http:\/\/attempto.ifi.uzh.ch\/site\/pubs\/papers\/CLAW96","author":"Fuchs Norbert E","year":"1996","unstructured":"Norbert E Fuchs and Rolf Schwitter . 1996 . Attempto Controlled English (ACE) . In First International Workshop on Controlled Language Applications (CLAW). http:\/\/attempto.ifi.uzh.ch\/site\/pubs\/papers\/CLAW96 .ps Norbert E Fuchs and Rolf Schwitter. 1996. Attempto Controlled English (ACE). In First International Workshop on Controlled Language Applications (CLAW). http:\/\/attempto.ifi.uzh.ch\/site\/pubs\/papers\/CLAW96.ps"},{"key":"e_1_3_2_1_42_1","volume-title":"Anaphora and type logical grammar. 24","author":"Gerhard Jager","unstructured":"Jager Gerhard . 2005. Anaphora and type logical grammar. 24 , Springer Science & Business Media . Jager Gerhard. 2005. Anaphora and type logical grammar. 24, Springer Science & Business Media."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510455.3512781"},{"key":"e_1_3_2_1_44_1","volume-title":"Gordon and Sergey Matskevich","author":"Colin","year":"2022","unstructured":"Colin S. Gordon and Sergey Matskevich . 2022 . Natural Language Specifications in Proof Assistants. Computing Research Repository (CoRR) . https:\/\/doi.org\/10.48550\/arXiv.2205.07811 arxiv:2205.07811. 10.48550\/arXiv.2205.07811 Colin S. Gordon and Sergey Matskevich. 2022. Natural Language Specifications in Proof Assistants. Computing Research Repository (CoRR). https:\/\/doi.org\/10.48550\/arXiv.2205.07811 arxiv:2205.07811."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.8329080"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Mike Gordon. 2000. From LCF to HOL: a short history.. In Proof Language and Interaction: Essays in Honour of Robin Milner. 169\u2013186. Mike Gordon. 2000. From LCF to HOL: a short history.. In Proof Language and Interaction: Essays in Honour of Robin Milner. 169\u2013186.","DOI":"10.7551\/mitpress\/5641.003.0012"},{"key":"e_1_3_2_1_47_1","volume-title":"Little Tricky Logic: Misconceptions in the Understanding of LTL. The Art, Science, and Engineering of Programming, 7, 2","author":"Greenman Ben","year":"2022","unstructured":"Ben Greenman , Sam Saarinen , Tim Nelson , and Shriram Krishnamurthi . 2022. Little Tricky Logic: Misconceptions in the Understanding of LTL. The Art, Science, and Engineering of Programming, 7, 2 ( 2022 ). Ben Greenman, Sam Saarinen, Tim Nelson, and Shriram Krishnamurthi. 2022. Little Tricky Logic: Misconceptions in the Understanding of LTL. The Art, Science, and Engineering of Programming, 7, 2 (2022)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44404-1_6"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICOSC.2015.7050777"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.3115\/976931.976933"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.3115\/1220175.1220239"},{"key":"e_1_3_2_1_52_1","unstructured":"Julia Hockenmaier and Mark Steedman. 2005. CCGbank: User\u2019s Manual. Julia Hockenmaier and Mark Steedman. 2005. CCGbank: User\u2019s Manual."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1162\/coli.2007.33.3.355"},{"key":"e_1_3_2_1_54_1","volume-title":"Towards a variable-free semantics. Linguistics and philosophy, 22, 2","author":"Jacobson Pauline","year":"1999","unstructured":"Pauline Jacobson . 1999. Towards a variable-free semantics. Linguistics and philosophy, 22, 2 ( 1999 ), 117\u2013185. Pauline Jacobson. 1999. Towards a variable-free semantics. Linguistics and philosophy, 22, 2 (1999), 117\u2013185."},{"key":"e_1_3_2_1_55_1","volume-title":"Compositional semantics: An introduction to the syntax\/semantics interface","author":"Jacobson Pauline I","unstructured":"Pauline I Jacobson . 2014. Compositional semantics: An introduction to the syntax\/semantics interface . Oxford University Press . Pauline I Jacobson. 2014. Compositional semantics: An introduction to the syntax\/semantics interface. Oxford University Press."},{"key":"e_1_3_2_1_56_1","volume-title":"Verification of Object-Oriented Software. The KeY Approach","author":"Johannisson Kristofer","unstructured":"Kristofer Johannisson . 2007. Natural language specifications . In Verification of Object-Oriented Software. The KeY Approach . Springer , 317\u2013333. Kristofer Johannisson. 2007. Natural language specifications. In Verification of Object-Oriented Software. The KeY Approach. Springer, 317\u2013333."},{"key":"e_1_3_2_1_57_1","unstructured":"Aravind K. Joshi David J. Weir and K. Vijay-Shanker. 1990. The Convergence of mildly context-sensitive grammar formalisms. University of Pennsylvania (Philadelphia PA US) Philadelphia. http:\/\/opac.inria.fr\/record=b1042789 Aravind K. Joshi David J. Weir and K. Vijay-Shanker. 1990. The Convergence of mildly context-sensitive grammar formalisms. University of Pennsylvania (Philadelphia PA US) Philadelphia. http:\/\/opac.inria.fr\/record=b1042789"},{"key":"e_1_3_2_1_58_1","volume-title":"Learnable classes of categorial grammars","author":"Kanazawa Makoto","unstructured":"Makoto Kanazawa . 1995. Learnable classes of categorial grammars .. CSLI Publications, Stanford University . Makoto Kanazawa. 1995. Learnable classes of categorial grammars.. CSLI Publications, Stanford University."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.3115\/981863.981890"},{"key":"e_1_3_2_1_60_1","volume-title":"JSAI International Symposium on Artificial Intelligence. 66\u201378","author":"Kiselyov Oleg","year":"2015","unstructured":"Oleg Kiselyov . 2015 . Applicative abstract categorial grammars in full swing . In JSAI International Symposium on Artificial Intelligence. 66\u201378 . Oleg Kiselyov. 2015. Applicative abstract categorial grammars in full swing. In JSAI International Symposium on Artificial Intelligence. 66\u201378."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"e_1_3_2_1_62_1","volume-title":"1st Workshop on Type Theory and Lexical Semantics.","author":"Kokke Wen","year":"2015","unstructured":"Wen Kokke . 2015 . Formalising type-logical grammar in Agda . In 1st Workshop on Type Theory and Lexical Semantics. Wen Kokke. 2015. Formalising type-logical grammar in Agda. In 1st Workshop on Type Theory and Lexical Semantics."},{"key":"e_1_3_2_1_63_1","volume-title":"Kruijff and Jason Baldridge","author":"Geert-Jan","year":"2000","unstructured":"Geert-Jan M. Kruijff and Jason Baldridge . 2000 . Relating categorial type logics and CCG through simulation. https:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.27.4152 Unpublished manuscript. Geert-Jan M. Kruijff and Jason Baldridge. 2000. Relating categorial type logics and CCG through simulation. https:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.27.4152 Unpublished manuscript."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1162\/COLI_a_00219"},{"key":"e_1_3_2_1_65_1","volume-title":"A survey and classification of controlled natural languages. Computational linguistics, 40, 1","author":"Kuhn Tobias","year":"2014","unstructured":"Tobias Kuhn . 2014. A survey and classification of controlled natural languages. Computational linguistics, 40, 1 ( 2014 ), 121\u2013170. Tobias Kuhn. 2014. A survey and classification of controlled natural languages. Computational linguistics, 40, 1 (2014), 121\u2013170."},{"key":"e_1_3_2_1_66_1","volume-title":"Proceedings of the Conference on Empirical Methods in Natural Language Processing (Conference on Empirical Methods on Natural Language Processing \u201911)","author":"Kwiatkowski Tom","year":"2011","unstructured":"Tom Kwiatkowski , Luke Zettlemoyer , Sharon Goldwater , and Mark Steedman . 2011 . Lexical Generalization in CCG Grammar Induction for Semantic Parsing . In Proceedings of the Conference on Empirical Methods in Natural Language Processing (Conference on Empirical Methods on Natural Language Processing \u201911) . Association for Computational Linguistics, Stroudsburg, PA, USA. 1512\u20131523. isbn:978-1-937284-11-4 Tom Kwiatkowski, Luke Zettlemoyer, Sharon Goldwater, and Mark Steedman. 2011. Lexical Generalization in CCG Grammar Induction for Semantic Parsing. In Proceedings of the Conference on Empirical Methods in Natural Language Processing (Conference on Empirical Methods on Natural Language Processing \u201911). Association for Computational Linguistics, Stroudsburg, PA, USA. 1512\u20131523. isbn:978-1-937284-11-4"},{"key":"e_1_3_2_1_67_1","first-page":"86","volume-title":"Conference on Empirical Methods on Natural Language Processing. ACL, 1223\u20131233","author":"Kwiatkowski Tom","year":"2010","unstructured":"Tom Kwiatkowski , Luke S. Zettlemoyer , Sharon Goldwater , and Mark Steedman . 2010 . Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification .. In Conference on Empirical Methods on Natural Language Processing. ACL, 1223\u20131233 . isbn:978-1-932432- 86 - 82 Tom Kwiatkowski, Luke S. Zettlemoyer, Sharon Goldwater, and Mark Steedman. 2010. Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification.. In Conference on Empirical Methods on Natural Language Processing. ACL, 1223\u20131233. isbn:978-1-932432-86-2"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1958.11989160"},{"key":"e_1_3_2_1_69_1","volume-title":"Categorial grammars and natural language structures","author":"Lambek Joachim","unstructured":"Joachim Lambek . 1988. Categorial and categorical grammars . In Categorial grammars and natural language structures . Springer , 297\u2013317. Joachim Lambek. 1988. Categorial and categorical grammars. In Categorial grammars and natural language structures. Springer, 297\u2013317."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.3115\/1075812.1075835"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/972470.972475"},{"key":"e_1_3_2_1_73_1","unstructured":"Per Martin-L\u00f6f and Giovanni Sambin. 1984. Intuitionistic type theory. 9 Bibliopolis Naples. Per Martin-L\u00f6f and Giovanni Sambin. 1984. Intuitionistic type theory. 9 Bibliopolis Naples."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.202.0184"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"crossref","unstructured":"Koji Mineshima Ribeka Tanaka Pascual Mart\u00ednez-G\u00f3mez Yusuke Miyao and Daisuke Bekki. 2016. Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. In EMNLP. Koji Mineshima Ribeka Tanaka Pascual Mart\u00ednez-G\u00f3mez Yusuke Miyao and Daisuke Bekki. 2016. Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. In EMNLP.","DOI":"10.18653\/v1\/D16-1242"},{"key":"e_1_3_2_1_76_1","unstructured":"Richard Montague. 1970. English as a Formal Language. In Linguaggi nella societa e nella tecnica Bruno Visentini (Ed.). Edizioni di Communita 188\u2013221. Richard Montague. 1970. English as a Formal Language. In Linguaggi nella societa e nella tecnica Bruno Visentini (Ed.). Edizioni di Communita 188\u2013221."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00434.x"},{"key":"e_1_3_2_1_78_1","volume-title":"Approaches to natural language","author":"Montague Richard","unstructured":"Richard Montague . 1973. The proper treatment of quantification in ordinary English . In Approaches to natural language . Springer , 221\u2013242. Richard Montague. 1973. The proper treatment of quantification in ordinary English. In Approaches to natural language. Springer, 221\u2013242."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1515\/9783110873467.181"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00159344"},{"key":"e_1_3_2_1_81_1","unstructured":"Michael Moortgat. 1999. Constants of grammatical reasoning. In Constraints and resources in natural language syntax and semantics. 195\u2013219. Michael Moortgat. 1999. Constants of grammatical reasoning. In Constraints and resources in natural language syntax and semantics. 195\u2013219."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.15398\/jlm.v3i1.92"},{"key":"e_1_3_2_1_83_1","volume-title":"The logic of categorial grammars: a deductive account of natural language syntax and semantics. 6850","author":"Moot Richard","unstructured":"Richard Moot and Christian Retor\u00e9 . 2012. The logic of categorial grammars: a deductive account of natural language syntax and semantics. 6850 , Springer . Richard Moot and Christian Retor\u00e9. 2012. The logic of categorial grammars: a deductive account of natural language syntax and semantics. 6850, Springer."},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00985216"},{"key":"e_1_3_2_1_85_1","volume-title":"Type logical grammar: Categorial logic of signs","author":"Morrill Glyn V","unstructured":"Glyn V Morrill . 2012. Type logical grammar: Categorial logic of signs . Springer Science & Business Media . Glyn V Morrill. 2012. Type logical grammar: Categorial logic of signs. Springer Science & Business Media."},{"key":"e_1_3_2_1_86_1","volume-title":"Head-Driven Phrase Structure Grammar: The Handbook","author":"M\u00fcller Stefan","unstructured":"Stefan M\u00fcller , Anne Abeill\u00e9 , Robert D Borsley , and Jean-Pierre Koenig . 2021. Head-Driven Phrase Structure Grammar: The Handbook . Language Science Press . Stefan M\u00fcller, Anne Abeill\u00e9, Robert D Borsley, and Jean-Pierre Koenig. 2021. Head-Driven Phrase Structure Grammar: The Handbook. Language Science Press."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.33011\/lilt.v4i.1221"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_83"},{"key":"e_1_3_2_1_89_1","volume-title":"Categorial Grammars and Natural Language Structures","author":"Oehrle Richard T.","unstructured":"Richard T. Oehrle , Emmon Bach , and Deirdre Wheeler . 1988. Categorial Grammars and Natural Language Structures . Springer . Richard T. Oehrle, Emmon Bach, and Deirdre Wheeler. 1988. Categorial Grammars and Natural Language Structures. Springer."},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.emnlp-main.119"},{"key":"e_1_3_2_1_91_1","volume-title":"Handbook of logic and language","author":"Partee Barbara H","unstructured":"Barbara H Partee and Herman LW Hendriks . 1997. Montague grammar . In Handbook of logic and language . Elsevier , 5\u201391. Barbara H Partee and Herman LW Hendriks. 1997. Montague grammar. In Handbook of logic and language. Elsevier, 5\u201391."},{"key":"e_1_3_2_1_92_1","unstructured":"Andrei Paskevich. 2007. The syntax and semantics of the ForTheL language. http:\/\/nevidal.org\/download\/forthel.pdf Andrei Paskevich. 2007. The syntax and semantics of the ForTheL language. http:\/\/nevidal.org\/download\/forthel.pdf"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0037116"},{"key":"e_1_3_2_1_94_1","volume-title":"Logic and computation: interactive proof with Cambridge LCF. 2","author":"Paulson Lawrence C","unstructured":"Lawrence C Paulson . 1990. Logic and computation: interactive proof with Cambridge LCF. 2 , Cambridge University Press . Lawrence C Paulson. 1990. Logic and computation: interactive proof with Cambridge LCF. 2, Cambridge University Press."},{"key":"e_1_3_2_1_95_1","unstructured":"Fernando CN Pereira and Stuart M Shieber. 1987. PROLOG and Natural Language Analysis. Fernando CN Pereira and Stuart M Shieber. 1987. PROLOG and Natural Language Analysis."},{"key":"e_1_3_2_1_96_1","volume-title":"Definite clause grammars for language analysis\u2014a survey of the formalism and a comparison with augmented transition networks. Artificial intelligence, 13, 3","author":"Pereira Fernando CN","year":"1980","unstructured":"Fernando CN Pereira and David HD Warren . 1980. Definite clause grammars for language analysis\u2014a survey of the formalism and a comparison with augmented transition networks. Artificial intelligence, 13, 3 ( 1980 ), 231\u2013278. Fernando CN Pereira and David HD Warren. 1980. Definite clause grammars for language analysis\u2014a survey of the formalism and a comparison with augmented transition networks. Artificial intelligence, 13, 3 (1980), 231\u2013278."},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"crossref","unstructured":"Amir Pnueli. 1977. The Temporal Logic of Programs. In FOCS. Amir Pnueli. 1977. The Temporal Logic of Programs. In FOCS.","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_98_1","volume-title":"Twenty Five Years of Constructive Type Theory","author":"Pollack Robert","unstructured":"Robert Pollack . 1998. How to believe a machine-checked proof . In Twenty Five Years of Constructive Type Theory . Oxford University Press , 205\u2013220. Robert Pollack. 1998. How to believe a machine-checked proof. In Twenty Five Years of Constructive Type Theory. Oxford University Press, 205\u2013220."},{"key":"e_1_3_2_1_99_1","unstructured":"Carl Pollard and Ivan A Sag. 1987. Information-based syntax and semantics: Vol. 1: fundamentals. Center for the Study of Language and Information. Carl Pollard and Ivan A Sag. 1987. Information-based syntax and semantics: Vol. 1: fundamentals. Center for the Study of Language and Information."},{"key":"e_1_3_2_1_100_1","volume-title":"Head-driven phrase structure grammar","author":"Pollard Carl","unstructured":"Carl Pollard and Ivan A Sag . 1994. Head-driven phrase structure grammar . University of Chicago Press. Carl Pollard and Ivan A Sag. 1994. Head-driven phrase structure grammar. University of Chicago Press."},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1145\/325737.325845"},{"key":"e_1_3_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00627403"},{"key":"e_1_3_2_1_103_1","volume-title":"Oxford University Press","author":"Ranta Aarne","unstructured":"Aarne Ranta . 1994. Type-theoretical Grammar. Oxford University Press , Inc., New York, NY, USA. isbn:0-19-853857-X Aarne Ranta. 1994. Type-theoretical Grammar. Oxford University Press, Inc., New York, NY, USA. isbn:0-19-853857-X"},{"key":"e_1_3_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60579-7_9"},{"key":"e_1_3_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004738"},{"key":"e_1_3_2_1_106_1","volume-title":"Grammatical framework: Programming with multilingual grammars. 173","author":"Ranta Aarne","unstructured":"Aarne Ranta . 2011. Grammatical framework: Programming with multilingual grammars. 173 , CSLI Publications, Center for the Study of Language and Information Stanford. Aarne Ranta. 2011. Grammatical framework: Programming with multilingual grammars. 173, CSLI Publications, Center for the Study of Language and Information Stanford."},{"key":"e_1_3_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_3"},{"key":"e_1_3_2_1_108_1","volume-title":"19th international conference on types for proofs and programs (TYPES","author":"Retor\u00e9 Christian","year":"2013","unstructured":"Christian Retor\u00e9 . 2013 . The montagovian generative lexicon: a type theoretical framework for natural language semantics . In 19th international conference on types for proofs and programs (TYPES 2013). Christian Retor\u00e9. 2013. The montagovian generative lexicon: a type theoretical framework for natural language semantics. In 19th international conference on types for proofs and programs (TYPES 2013)."},{"key":"e_1_3_2_1_109_1","volume-title":"Mathematical and computational aspects of lexicalized grammars. Ph. D. Dissertation. Copyright - Copyright UMI - Dissertations Publishing 1990","author":"Schabes Yves","year":"2015","unstructured":"Yves Schabes . 1990. Mathematical and computational aspects of lexicalized grammars. Ph. D. Dissertation. Copyright - Copyright UMI - Dissertations Publishing 1990 ; Last updated - 2015 -08-28 Yves Schabes. 1990. Mathematical and computational aspects of lexicalized grammars. Ph. D. Dissertation. Copyright - Copyright UMI - Dissertations Publishing 1990; Last updated - 2015-08-28"},{"key":"e_1_3_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.1985.10041"},{"key":"e_1_3_2_1_111_1","doi-asserted-by":"publisher","DOI":"10.5555\/646130.679472"},{"key":"e_1_3_2_1_112_1","volume-title":"A method for translating natural language program specifications into algebraic specifications. Systems and computers in Japan, 23, 11","author":"Seki Hiroyuki","year":"1992","unstructured":"Hiroyuki Seki , Tadao Kasami , Eiji Nabika , and Takashi Matsumura . 1992. A method for translating natural language program specifications into algebraic specifications. Systems and computers in Japan, 23, 11 ( 1992 ), 1\u201316. Hiroyuki Seki, Tadao Kasami, Eiji Nabika, and Takashi Matsumura. 1992. A method for translating natural language program specifications into algebraic specifications. Systems and computers in Japan, 23, 11 (1992), 1\u201316."},{"key":"e_1_3_2_1_113_1","doi-asserted-by":"crossref","unstructured":"Hiroyuki Seki Eiji Nabika Takashi Matsumura Yujii Sugiyama Mamoru Fujii Koji Torii and Tadao Kasami. 1988. A processing system for programming specifications in a natural language. In [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track. 2 754\u2013763. Hiroyuki Seki Eiji Nabika Takashi Matsumura Yujii Sugiyama Mamoru Fujii Koji Torii and Tadao Kasami. 1988. A processing system for programming specifications in a natural language. In [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track. 2 754\u2013763.","DOI":"10.1109\/HICSS.1988.11876"},{"key":"e_1_3_2_1_114_1","unstructured":"Daniel Selsam Sebastian Ullrich and Leonardo de Moura. 2020. Tabled typeclass resolution. arXiv preprint arXiv:2001.04301. Daniel Selsam Sebastian Ullrich and Leonardo de Moura. 2020. Tabled typeclass resolution. arXiv preprint arXiv:2001.04301."},{"key":"e_1_3_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.2200\/S01118ED1V01Y202107HLT051"},{"key":"e_1_3_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71067-7_23"},{"key":"e_1_3_2_1_117_1","volume-title":"The Syntactic Process","author":"Steedman Mark","unstructured":"Mark Steedman . 2001. The Syntactic Process . The MIT Press . Mark Steedman. 2001. The Syntactic Process. The MIT Press."},{"key":"e_1_3_2_1_118_1","volume-title":"Taking scope: The natural semantics of quantifiers","author":"Steedman Mark","unstructured":"Mark Steedman . 2012. Taking scope: The natural semantics of quantifiers . Mit Press . Mark Steedman. 2012. Taking scope: The natural semantics of quantifiers. Mit Press."},{"key":"e_1_3_2_1_119_1","volume-title":"Handbook of philosophical logic","author":"Sundholm G\u00f6ran","unstructured":"G\u00f6ran Sundholm . 1986. Proof theory and meaning . In Handbook of philosophical logic . Springer , 471\u2013506. G\u00f6ran Sundholm. 1986. Proof theory and meaning. In Handbook of philosophical logic. Springer, 471\u2013506."},{"key":"e_1_3_2_1_120_1","volume-title":"Ways of Scope Taking. 65","author":"Szabolcsi A","unstructured":"A Szabolcsi . 1997. Ways of Scope Taking. 65 , Springer Science & Business Media . A Szabolcsi. 1997. Ways of Scope Taking. 65, Springer Science & Business Media."},{"key":"e_1_3_2_1_121_1","doi-asserted-by":"crossref","unstructured":"Anna Szabolcsi. 2010. Quantification. Cambridge University Press. Anna Szabolcsi. 2010. Quantification. Cambridge University Press.","DOI":"10.1017\/CBO9780511781681"},{"key":"e_1_3_2_1_122_1","unstructured":"Attempto Controlled English Team. [n. d.]. ACE 6.7 Syntax Report. http:\/\/attempto.ifi.uzh.ch\/site\/docs\/syntax_report.html Attempto Controlled English Team. [n. d.]. ACE 6.7 Syntax Report. http:\/\/attempto.ifi.uzh.ch\/site\/docs\/syntax_report.html"},{"key":"e_1_3_2_1_123_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.acl-short.21"},{"key":"e_1_3_2_1_124_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.starsem-1.10"},{"key":"e_1_3_2_1_125_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.9.753"},{"key":"e_1_3_2_1_126_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263539"},{"key":"e_1_3_2_1_127_1","volume-title":"\u0141 ukasz Kaiser, and Illia Polosukhin","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani , Noam Shazeer , Niki Parmar , Jakob Uszkoreit , Llion Jones , Aidan N Gomez , \u0141 ukasz Kaiser, and Illia Polosukhin . 2017 . Attention is all you need. Advances in neural information processing systems, 30 (2017). Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, \u0141 ukasz Kaiser, and Illia Polosukhin. 2017. Attention is all you need. Advances in neural information processing systems, 30 (2017)."},{"key":"e_1_3_2_1_128_1","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4573(84)90060-8"},{"key":"e_1_3_2_1_129_1","first-page":"3","article-title":"An Efficient Easily Adaptable System for Interpreting Natural Language Queries","volume":"8","author":"Warren David H.D.","year":"1982","unstructured":"David H.D. Warren and Fernando C.N. Pereira . 1982 . An Efficient Easily Adaptable System for Interpreting Natural Language Queries . American Journal of Computational Linguistics , 8 , 3 - 4 (1982), 110\u2013122. https:\/\/aclanthology.org\/J82-3002 David H.D. Warren and Fernando C.N. Pereira. 1982. An Efficient Easily Adaptable System for Interpreting Natural Language Queries. American Journal of Computational Linguistics, 8, 3-4 (1982), 110\u2013122. https:\/\/aclanthology.org\/J82-3002","journal-title":"American Journal of Computational Linguistics"},{"key":"e_1_3_2_1_130_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48256-3_12"},{"key":"e_1_3_2_1_131_1","doi-asserted-by":"publisher","DOI":"10.5555\/1706269.1706274"},{"key":"e_1_3_2_1_132_1","volume-title":"Proceedings of the 9th European Workshop on Natural Language Generation (ENLG-2003)","author":"White Michael","year":"2003","unstructured":"Michael White and Jason Baldridge . 2003 . Adapting Chart Realization to CCG . In Proceedings of the 9th European Workshop on Natural Language Generation (ENLG-2003) at EACL 2003. Association for Computational Linguistics, Budapest, Hungary. https:\/\/aclanthology.org\/W03-2316 Michael White and Jason Baldridge. 2003. Adapting Chart Realization to CCG. In Proceedings of the 9th European Workshop on Natural Language Generation (ENLG-2003) at EACL 2003. Association for Computational Linguistics, Budapest, Hungary. https:\/\/aclanthology.org\/W03-2316"},{"key":"e_1_3_2_1_133_1","volume-title":"Proceedings of the Workshop on Using corpora for natural language generation","author":"White Michael","year":"2007","unstructured":"Michael White , Rajakrishnan Rajkumar , and Scott Martin . 2007 . Towards broad coverage surface realization with CCG . In Proceedings of the Workshop on Using corpora for natural language generation . Copenhagen, Denmark. https:\/\/aclanthology.org\/ 2007.mtsummit-ucnlg.4 Michael White, Rajakrishnan Rajkumar, and Scott Martin. 2007. Towards broad coverage surface realization with CCG. In Proceedings of the Workshop on Using corpora for natural language generation. Copenhagen, Denmark. https:\/\/aclanthology.org\/2007.mtsummit-ucnlg.4"},{"key":"e_1_3_2_1_134_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"e_1_3_2_1_135_1","first-page":"32353","article-title":"Autoformalization with large language models","volume":"35","author":"Wu Yuhuai","year":"2022","unstructured":"Yuhuai Wu , Albert Qiaochu Jiang , Wenda Li , Markus Rabe , Charles Staats , Mateja Jamnik , and Christian Szegedy . 2022 . Autoformalization with large language models . Advances in Neural Information Processing Systems , 35 (2022), 32353 \u2013 32368 . Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus Rabe, Charles Staats, Mateja Jamnik, and Christian Szegedy. 2022. Autoformalization with large language models. Advances in Neural Information Processing Systems, 35 (2022), 32353\u201332368.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_136_1","volume-title":"Proceedings of the 2021 Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace). Association for Computational Linguistics","author":"Yeung Richie","year":"2021","unstructured":"Richie Yeung and Dimitri Kartsaklis . 2021 . A CCG-Based Version of the DisCoCat Framework . In Proceedings of the 2021 Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace). Association for Computational Linguistics , Groningen, The Netherlands. 20\u201331. https:\/\/aclanthology.org\/ 2021.semspace-1.3 Richie Yeung and Dimitri Kartsaklis. 2021. A CCG-Based Version of the DisCoCat Framework. In Proceedings of the 2021 Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace). Association for Computational Linguistics, Groningen, The Netherlands. 20\u201331. https:\/\/aclanthology.org\/2021.semspace-1.3"}],"event":{"name":"Onward! '23: 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","location":"Cascais Portugal","acronym":"Onward! '23","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3622758.3622890","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3622758.3622890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:45:23Z","timestamp":1750268723000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3622758.3622890"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,18]]},"references-count":136,"alternative-id":["10.1145\/3622758.3622890","10.1145\/3622758"],"URL":"https:\/\/doi.org\/10.1145\/3622758.3622890","relation":{},"subject":[],"published":{"date-parts":[[2023,10,18]]},"assertion":[{"value":"2023-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}