{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T16:00:39Z","timestamp":1785340839395,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Dutch Research Council (NWO)","award":["VI.C.182.032"],"award-info":[{"award-number":["VI.C.182.032"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3794763.3794812","type":"proceedings-article","created":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:18:58Z","timestamp":1785338338000},"page":"220-231","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Way of Types: A Report on Developer Experience with Type-Driven Development"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-4000-8023","authenticated-orcid":false,"given":"S\u00e1ra","family":"Juho\u0161ov\u00e1","sequence":"first","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2413-3935","authenticated-orcid":false,"given":"Andy","family":"Zaidman","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3862-4073","authenticated-orcid":false,"given":"Jesper","family":"Cockx","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,29]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"2020. Empirical Standards for Software Engineering Research. https:\/\/arxiv.org\/abs\/2010.03525v2"},{"key":"e_1_3_3_2_3_2","volume-title":"Effective Software Testing: A developer\u2019s guide","author":"Aniche Maur\u00edcio","year":"2022","unstructured":"Maur\u00edcio Aniche. 2022. Effective Software Testing: A developer\u2019s guide. Manning."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Felipe Ba\u00f1ados\u00a0Schwerter Ronald Garcia and \u00c9ric Tanter. 2014. A theory of gradual effect systems. SIGPLAN Notices (2014) 283\u2013295. 10.1145\/2692915.2628149","DOI":"10.1145\/2692915.2628149"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/2597073.2597082"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_11"},{"key":"e_1_3_3_2_7_2","volume-title":"Type-Driven Development with Idris","author":"Brady Edwin","year":"2017","unstructured":"Edwin Brady. 2017. Type-Driven Development with Idris. Manning."},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","unstructured":"Edwin\u00a0Charles Brady. 2017. Type-driven Development of Concurrent Communicating Systems. Computer Science 18 3 (2017). 10.7494\/csci.2017.18.3.1413","DOI":"10.7494\/csci.2017.18.3.1413"},{"key":"e_1_3_3_2_9_2","volume-title":"Constructing Grounded Theory (2 ed.)","author":"Charmaz Kathy","year":"2014","unstructured":"Kathy Charmaz. 2014. Constructing Grounded Theory (2 ed.). Sage Publications."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384659"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","unstructured":"Will Crichton Gavin Gray and Shriram Krishnamurthi. 2023. A Grounded Conceptual Model for Ownership Types in Rust. Artifact for \"A Grounded Conceptual Model for Ownership Types in Rust\" 7 OOPSLA2 (Oct. 2023) 265:1224\u2013265:1252. 10.1145\/3622841","DOI":"10.1145\/3622841"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","unstructured":"Leonardo De\u00a0Moura and Nikolaj Bj\u00f8rner. 2011. Satisfiability modulo theories: introduction and applications. Commun. ACM 54 9 (Sept. 2011) 69\u201377. 10.1145\/1995376.1995394","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_26"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","unstructured":"Edsger\u00a0W. Dijkstra. 1972. The humble programmer. Commun. ACM 15 10 (1972) 859\u2013866. 10.1145\/355604.361591","DOI":"10.1145\/355604.361591"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","unstructured":"Joseph Eremondi \u00c9ric Tanter and Ronald Garcia. 2019. Approximate normalization for gradual dependent types. ACM on Programming LanguagesICFP (2019) 88:1\u201388:30. 10.1145\/3341692","DOI":"10.1145\/3341692"},{"key":"e_1_3_3_2_16_2","volume-title":"Domain-Driven Design: Tackling Complexity in the Heart of Software","author":"Evans Eric","year":"2003","unstructured":"Eric Evans. 2003. Domain-Driven Design: Tackling Complexity in the Heart of Software. Addison-Wesley Professional."},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2013.22"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00132"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3729327"},{"key":"e_1_3_3_2_21_2","volume-title":"Theoretical sensitivity: Advances in the methodology of grounded theory","author":"Glaser Barney\u00a0G.","year":"1978","unstructured":"Barney\u00a0G. Glaser. 1978. Theoretical sensitivity: Advances in the methodology of grounded theory. Sociology Press."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","unstructured":"B. Hailpern and P. Tarr. 2006. Model-driven development: The good the bad and the ugly. IBM Systems Journal 45 3 (2006) 451\u2013461. 10.1147\/sj.453.0451","DOI":"10.1147\/sj.453.0451"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60533-8"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","unstructured":"Atsushi Igarashi Peter Thiemann Yuya Tsuda Vasco\u00a0T. Vasconcelos and Philip Wadler. 2019. Gradual session types. Journal of Functional Programming (2019). 10.1017\/S0956796819000169","DOI":"10.1017\/S0956796819000169"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","unstructured":"S\u00e1ra Juho\u0161ov\u00e1 and Jesper Cockx. 2025. Type-Driven Development in Practice. 10.4121\/8eda8cff-ac6b-47c8-908e-a99a81e08024","DOI":"10.4121\/8eda8cff-ac6b-47c8-908e-a99a81e08024"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC66645.2025.00024"},{"key":"e_1_3_3_2_27_2","unstructured":"Alexis King. 2019. Parse don\u2019t validate. https:\/\/lexi-lambda.github.io\/blog\/2019\/11\/05\/parse-don-t-validate\/"},{"key":"e_1_3_3_2_28_2","volume-title":"The Rust Programming Language (second ed.)","author":"Klabnik Steve","year":"2021","unstructured":"Steve Klabnik and Carol Nichols. 2021. Understanding Ownership. In The Rust Programming Language (second ed.). No Starch Press, San Francisco, CA, USA."},{"key":"e_1_3_3_2_29_2","volume-title":"The Rust Programming Language (second ed.)","author":"Klabnik Steve","year":"2022","unstructured":"Steve Klabnik and Carol Nichols. 2022. The Rust Programming Language (second ed.). No Starch Press, San Francisco, CA, USA."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009856"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","unstructured":"Justin Lubin and Sarah\u00a0E. Chasins. 2021. How statically-typed functional programmers write code. Proceedings of the ACM on Programming Languages 5 OOPSLA (Oct. 2021) 155:1\u2013155:30. 10.1145\/3485532","DOI":"10.1145\/3485532"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","unstructured":"Kenji Maillard Meven Lennon-Bertrand Nicolas Tabareau and \u00c9ric Tanter. 2022. A reasonably gradual type theory. ACM on Programming Languages 6 ICFP (2022) 124:931\u2013124:959. 10.1145\/3547655","DOI":"10.1145\/3547655"},{"key":"e_1_3_3_2_33_2","volume-title":"Haskell 2010: Language Report","author":"Marlow Simon","year":"2010","unstructured":"Simon Marlow. 2010. Haskell 2010: Language Report. Technical Report. https:\/\/www.haskell.org\/onlinereport\/haskell2010\/"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","unstructured":"Jorge Melegati Kieran Conboy and Daniel Graziotin. 2024. Qualitative Surveys in Software Engineering Research: Definition Critical Review and Guidelines. IEEE Transactions on Software Engineering 50 12 (2024) 3172\u20133187. 10.1109\/TSE.2024.3474173","DOI":"10.1109\/TSE.2024.3474173"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","unstructured":"Bertrand Meyer. 1992. Applying \u2018design by contract\u2019. Computer 25 10 (1992) 40\u201351. 10.1109\/2.161279","DOI":"10.1109\/2.161279"},{"key":"e_1_3_3_2_36_2","unstructured":"Microsoft. 2024. Language Server Protocol Specification. https:\/\/microsoft.github.io\/language-server-protocol\/specifications\/lsp\/3.17\/specification\/"},{"key":"e_1_3_3_2_37_2","volume-title":"Qualitative data analysis: an expanded sourcebook (2nd ed ed.)","author":"Miles Matthew\u00a0B..","year":"1994","unstructured":"Matthew\u00a0B.. Miles and Michael Huberman. 1994. Qualitative data analysis: an expanded sourcebook (2nd ed ed.). Sage, Thousand Oaks, CA."},{"key":"e_1_3_3_2_38_2","unstructured":"Neil Mitchell. 2004. Hoogle. https:\/\/wiki.haskell.org\/Hoogle"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48092-7_6"},{"key":"e_1_3_3_2_40_2","unstructured":"Ulf Norell. 2007. Towards a practical programming language based on dependent type theory. PhD Thesis. Chalmers University of Technology G\u00f6teborg Sweden."},{"key":"e_1_3_3_2_41_2","series-title":"LIPIcs","first-page":"11:1\u201311:12","volume-title":"Summit on Advances in Programming Languagess (SNAPL)","author":"Omar Cyrus","year":"2017","unstructured":"Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire\u00a0Le Goues, Jonathan Aldrich, and Matthew\u00a0A. Hammer. 2017. Toward Semantic Foundations for Program Editors. In Summit on Advances in Programming Languagess (SNAPL)(LIPIcs, Vol.\u00a071). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 11:1\u201311:12."},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.5555\/509043"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","unstructured":"Martin\u00a0P. Robillard and Robert DeLine. 2011. A field study of API learning obstacles. Empirical Software Engineering 16 6 (2011) 703\u2013732. 10.1007\/s10664-010-9150-8","DOI":"10.1007\/s10664-010-9150-8"},{"key":"e_1_3_3_2_44_2","unstructured":"Sam Tobin-Hochstadt Vincent St-Amour Eric Dobson and Asumu Takikawa. 2025. The Typed Racket Guide. https:\/\/docs.racket-lang.org\/ts-guide\/"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","unstructured":"Adrian Santos Sira Vegas Oscar Dieste Fernando Uyaguari Ay\u015fe Tosun Davide Fucci Burak Turhan Giuseppe Scanniello Simone Romano Itir Karac Marco Kuhrmann Vladimir Mandi\u0107 Robert Rama\u010d Dietmar Pfahl Christian Engblom Jarno Kyykka Kerli Rungi Carolina Palomeque Jaroslav Spisak Markku Oivo and Natalia Juristo. 2021. A family of experiments on test-driven development. Empirical Software Engineering 26 3 (March 2021) 42. 10.1007\/s10664-020-09895-8","DOI":"10.1007\/s10664-020-09895-8"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/2998392.2998398"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_29"},{"key":"e_1_3_3_2_48_2","doi-asserted-by":"publisher","unstructured":"Jessica Shi Cassia Torczon Harrison Goldstein Benjamin\u00a0C. Pierce and Andrew Head. 2025. QED in Context: An Observation Study of Proof Assistant Users. Artifact for QED in Context: An Observation Study of Proof Assistant Users 9 OOPSLA1 (2025) 92:337\u201392:363. 10.1145\/3720426","DOI":"10.1145\/3720426"},{"key":"e_1_3_3_2_49_2","volume-title":"Scheme and Functional Programming Workshop","author":"Siek Jeremy\u00a0G","year":"2006","unstructured":"Jeremy\u00a0G Siek and Walid Taha. 2006. Gradual Typing for Functional Languages. In Scheme and Functional Programming Workshop. http:\/\/scheme2006.cs.uchicago.edu\/13-siek.pdf"},{"key":"e_1_3_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2015.274"},{"key":"e_1_3_3_2_51_2","unstructured":"The Coq Development Team. 2024. The Coq Proof Assistant. https:\/\/zenodo.org\/records\/14542673"},{"key":"e_1_3_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814315"},{"key":"e_1_3_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242756"},{"key":"e_1_3_3_2_54_2","doi-asserted-by":"publisher","unstructured":"Niki Vazou \u00c9ric Tanter and David Van\u00a0Horn. 2018. Gradual liquid type inference. ACM on Programming Languages 2 OOPSLA (2018) 132:1\u2013132:25. 10.1145\/3276502","DOI":"10.1145\/3276502"},{"key":"e_1_3_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908110"},{"key":"e_1_3_3_2_56_2","doi-asserted-by":"publisher","unstructured":"Viswanath Venkatesh and Hillol Bala. 2008. Technology Acceptance Model 3 and a Research Agenda on Interventions. Decision Sciences 39 2 (2008) 273\u2013315. 10.1111\/j.1540-5915.2008.00192.xPublisher: John Wiley & Sons Ltd.","DOI":"10.1111\/j.1540-5915.2008.00192.x"},{"key":"e_1_3_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"}],"event":{"name":"ICPC '26: 34th IEEE\/ACM International Conference on Program Comprehension","location":"Rio de Janeiro , Brazil","acronym":"ICPC '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2026 34th IEEE\/ACM International Conference on Program Comprehension"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3794763.3794812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:21:39Z","timestamp":1785338499000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3794763.3794812"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":56,"alternative-id":["10.1145\/3794763.3794812","10.1145\/3794763"],"URL":"https:\/\/doi.org\/10.1145\/3794763.3794812","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}