{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T21:32:15Z","timestamp":1753738335749,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100009226","name":"National Security Agency","doi-asserted-by":"publisher","award":["H98230-14-C-0140"],"award-info":[{"award-number":["H98230-14-C-0140"]}],"id":[{"id":"10.13039\/100009226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1734138, CNS-1423054"],"award-info":[{"award-number":["CNS-1734138, CNS-1423054"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-16-2-0042"],"award-info":[{"award-number":["FA8750-16-2-0042"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-16-2-0042"],"award-info":[{"award-number":["FA8750-16-2-0042"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,24]]},"DOI":"10.1145\/3276954.3276965","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T15:28:39Z","timestamp":1540394919000},"page":"133-146","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Interdisciplinary programming language design"],"prefix":"10.1145","author":[{"given":"Michael","family":"Coblenz","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Brad A.","family":"Myers","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Joshua","family":"Sunshine","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581365"},{"key":"e_1_3_2_1_2_1","volume-title":"Workshop on Evaluation and Usability of Programming Languages and Tools .","author":"Barnaby Celeste","year":"2017","unstructured":"Celeste Barnaby , Michael Coblenz , Tyler Etzel , Eliezer Kanal , Joshua Sunshine , Brad Myers , and Jonathan Aldrich . 2017 . A User Study to Inform the Design of the Obsidian Blockchain DSL. In PLATEAU \u201917 Workshop on Evaluation and Usability of Programming Languages and Tools . Celeste Barnaby, Michael Coblenz, Tyler Etzel, Eliezer Kanal, Joshua Sunshine, Brad Myers, and Jonathan Aldrich. 2017. A User Study to Inform the Design of the Obsidian Blockchain DSL. In PLATEAU \u201917 Workshop on Evaluation and Usability of Programming Languages and Tools ."},{"key":"e_1_3_2_1_4_1","volume-title":"An Empirical Study of Object Protocols in the Wild. In European Conference on Object-Oriented Programming .","author":"Beckman Nels E.","year":"2011","unstructured":"Nels E. Beckman , Duri Kim , and Jonathan Aldrich . 2011 . An Empirical Study of Object Protocols in the Wild. In European Conference on Object-Oriented Programming . Nels E. Beckman, Duri Kim, and Jonathan Aldrich. 2011. An Empirical Study of Object Protocols in the Wild. In European Conference on Object-Oriented Programming ."},{"key":"e_1_3_2_1_5_1","unstructured":"E. D. Berger S. M. Blackburn M. Hauswirth and M. Hicks. 2018. Empirical Evaluation Checklist (beta). http:\/\/www.sigplan.org\/Resources\/ EmpiricalEvaluation\/  E. D. Berger S. M. Blackburn M. Hauswirth and M. Hicks. 2018. Empirical Evaluation Checklist (beta). http:\/\/www.sigplan.org\/Resources\/ EmpiricalEvaluation\/"},{"key":"e_1_3_2_1_6_1","volume-title":"Interactive Theorem Proving and Program Development: Coq\u2019Art The Calculus of Inductive Constructions","author":"Bertot Yves","unstructured":"Yves Bertot and Pierre Castran . 2010. Interactive Theorem Proving and Program Development: Coq\u2019Art The Calculus of Inductive Constructions ( 1 st ed.). Springer Publishing Company, Inc orporated. Yves Bertot and Pierre Castran. 2010. Interactive Theorem Proving and Program Development: Coq\u2019Art The Calculus of Inductive Constructions (1st ed.). Springer Publishing Company, Incorporated.","edition":"1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297050"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/572020.572023"},{"key":"e_1_3_2_1_10_1","volume-title":"Capabilities for Aliasing: A Generalisation of Uniqueness and Read-Only. In European Conference on Object-Oriented Programming , J\u00f8rgen Lindskov Knudsen (Ed.).","author":"Boyland John","year":"2001","unstructured":"John Boyland , James Noble , and William Retert . 2001 . Capabilities for Aliasing: A Generalisation of Uniqueness and Read-Only. In European Conference on Object-Oriented Programming , J\u00f8rgen Lindskov Knudsen (Ed.). John Boyland, James Noble, and William Retert. 2001. Capabilities for Aliasing: A Generalisation of Uniqueness and Read-Only. In European Conference on Object-Oriented Programming , J\u00f8rgen Lindskov Knudsen (Ed.)."},{"key":"e_1_3_2_1_11_1","unstructured":"Bill Buxton. 2007. Sketching user experiences: getting the design right and the right design . Morgan Kaufmann.   Bill Buxton. 2007. Sketching user experiences: getting the design right and the right design . Morgan Kaufmann."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985441.1985448"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2012.61"},{"volume-title":"An Efficient Implementation of the Plaid Language. Honors thesis","author":"Chasins Sarah","key":"e_1_3_2_1_14_1","unstructured":"Sarah Chasins . 2012. An Efficient Implementation of the Plaid Language. Honors thesis . Swarthmore College Honors Thesis . Sarah Chasins. 2012. An Efficient Implementation of the Plaid Language. Honors thesis. Swarthmore College Honors Thesis."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.52"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884798"},{"key":"e_1_3_2_1_17_1","unstructured":"Wikipedia contributors. 2018. List of educational programming languages. https:\/\/en.wikipedia.org\/wiki\/List_of_educational_ programming_languages  Wikipedia contributors. 2018. List of educational programming languages. https:\/\/en.wikipedia.org\/wiki\/List_of_educational_ programming_languages"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238845"},{"key":"e_1_3_2_1_19_1","volume-title":"Evidence-Based Medicine: A Unified Approach. Health Affairs 24","author":"Eddy David M.","year":"2005","unstructured":"David M. Eddy . 2005. Evidence-Based Medicine: A Unified Approach. Health Affairs 24 ( 2005 ). Issue 1. David M. Eddy. 2005. Evidence-Based Medicine: A Unified Approach. Health Affairs 24 (2005). Issue 1."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568299"},{"volume-title":"The Drug Development Process &gt","author":"FDA.","key":"e_1_3_2_1_21_1","unstructured":"FDA. 2018. The Drug Development Process &gt ; Step 3: Clinical Research . https:\/\/www.fda.gov\/ForPatients\/Approvals\/Drugs\/ucm405622.htm FDA. 2018. The Drug Development Process > Step 3: Clinical Research. https:\/\/www.fda.gov\/ForPatients\/Approvals\/Drugs\/ucm405622.htm"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629609"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1996.0009"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_24"},{"volume-title":"European Symposium on Programming.","author":"Haack C.","key":"e_1_3_2_1_25_1","unstructured":"C. Haack , E. Poll , J. Sch\u00e4fer , and A. Schubert . 2007. Immutable objects for a java-like language . In European Symposium on Programming. C. Haack, E. Poll, J. Sch\u00e4fer, and A. Schubert. 2007. Immutable objects for a java-like language. In European Symposium on Programming."},{"key":"e_1_3_2_1_26_1","volume-title":"Null references: The billion dollar mistake. Presentation at QCon London 298","author":"Hoare Tony","year":"2009","unstructured":"Tony Hoare . 2009. Null references: The billion dollar mistake. Presentation at QCon London 298 ( 2009 ). Tony Hoare. 2009. Null references: The billion dollar mistake. Presentation at QCon London 298 (2009)."},{"key":"e_1_3_2_1_27_1","first-page":"92","article-title":"Haskell vs. Ada vs. C++ vs. awk vs.... an experiment in software prototyping productivity","volume":"14","author":"Hudak Paul","year":"1994","unstructured":"Paul Hudak and Mark P Jones . 1994 . Haskell vs. Ada vs. C++ vs. awk vs.... an experiment in software prototyping productivity . Contract 14 , 92 -C (1994), 0153. Paul Hudak and Mark P Jones. 1994. Haskell vs. Ada vs. C++ vs. awk vs.... an experiment in software prototyping productivity. Contract 14, 92-C (1994), 0153.","journal-title":"Contract"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238846"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089733.1089734"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2903497"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2017.8103446"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.372"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.116"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1833310.1833322"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939161"},{"key":"e_1_3_2_1_36_1","volume-title":"Software architecture in practice","author":"Len Bass","year":"2003","unstructured":"Bass Len , Clements Paul , and Kazman Rick . 2003. Software architecture in practice . Boston, Massachusetts Addison ( 2003 ). Bass Len, Clements Paul, and Kazman Rick. 2003. Software architecture in practice. Boston, Massachusetts Addison (2003)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_8"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/800025.1198360"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635892"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384597"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660231"},{"key":"e_1_3_2_1_42_1","first-page":"7","article-title":"Programmers Are Users Too","volume":"49","author":"Myers B. A.","year":"2016","unstructured":"B. A. Myers , A. J. Ko , T. D. LaToza , and Y. Yoon . 2016 . Programmers Are Users Too : Human-Centered Methods for Improving Programming Tools. Computer 49 , 7 (July 2016), 44\u201352. B. A. Myers, A. J. Ko, T. D. LaToza, and Y. Yoon. 2016. Programmers Are Users Too: Human-Centered Methods for Improving Programming Tools. Computer 49, 7 (July 2016), 44\u201352.","journal-title":"Human-Centered Methods for Improving Programming Tools. Computer"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015864.1015888"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896587"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/97243.97281"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1753326.1753707"},{"volume-title":"Proceedings IEEE 2002 Symposia on Human Centric Computing Languages and Environments . 198\u2013206","author":"Pane J. F.","key":"e_1_3_2_1_47_1","unstructured":"J. F. Pane , B. A. Myers , and L. B. Miller . 2002. Using HCI techniques to design a more usable programming system . In Proceedings IEEE 2002 Symposia on Human Centric Computing Languages and Environments . 198\u2013206 . J. F. Pane, B. A. Myers, and L. B. Miller. 2002. Using HCI techniques to design a more usable programming system. In Proceedings IEEE 2002 Symposia on Human Centric Computing Languages and Environments . 198\u2013206."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337238"},{"key":"e_1_3_2_1_49_1","volume-title":"Mindstorms: Children, Computers, and Powerful Ideas","author":"Papert Seymour","year":"1980","unstructured":"Seymour Papert . 1980 . Mindstorms: Children, Computers, and Powerful Ideas . Basic Books, Inc. , New York, NY, USA . Seymour Papert. 1980. Mindstorms: Children, Computers, and Powerful Ideas . Basic Books, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","key":"e_1_3_2_1_51_1","unstructured":"Benjamin C. Pierce . 2002. Types and Programming Languages . MIT Press . Benjamin C. Pierce. 2002. Types and Programming Languages. MIT Press."},{"key":"e_1_3_2_1_52_1","volume-title":"Zelkowitz","author":"Pratt Terrence W.","year":"1996","unstructured":"Terrence W. Pratt and Marvin V . Zelkowitz . 1996 . Programming Languages : Design and Implementation . Terrence W. Pratt and Marvin V. Zelkowitz. 1996. Programming Languages: Design and Implementation ."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.677186"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126905"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592779"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/154766.155580"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/234286.1057834"},{"key":"e_1_3_2_1_58_1","volume-title":"JA Muir Gray, R Brian Haynes, and W Scott Richardson.","author":"Sackett David L","year":"1996","unstructured":"David L Sackett , William MC Rosenberg , JA Muir Gray, R Brian Haynes, and W Scott Richardson. 1996 . Evidence based medicine: what it is and what it isn\u2019t. David L Sackett, William MC Rosenberg, JA Muir Gray, R Brian Haynes, and W Scott Richardson. 1996. Evidence based medicine: what it is and what it isn\u2019t."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/51607.51614"},{"volume-title":"Secure Coding in C and C++","author":"Seacord Robert C","key":"e_1_3_2_1_60_1","unstructured":"Robert C Seacord . 2013. Secure Coding in C and C++ . Addison-Wesley . Robert C Seacord. 2013. Secure Coding in C and C++. Addison-Wesley."},{"key":"e_1_3_2_1_61_1","unstructured":"Robert W. Sebesta. 2006. Concepts of Programming Languages Seventh Edition .   Robert W. Sebesta. 2006. Concepts of Programming Languages Seventh Edition ."},{"key":"e_1_3_2_1_62_1","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw Mary","year":"1996","unstructured":"Mary Shaw and David Garlan . 1996 . Software Architecture: Perspectives on an Emerging Discipline . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA. Mary Shaw and David Garlan. 1996. Software Architecture: Perspectives on an Emerging Discipline . Prentice-Hall, Inc., Upper Saddle River, NJ, USA."},{"key":"e_1_3_2_1_63_1","volume-title":"Evidence-based practice in clinical psychology: what it is, why it matters","author":"Spring B.","year":"2007","unstructured":"B. Spring . 2007. Evidence-based practice in clinical psychology: what it is, why it matters ; what you need to know. Journal of Clinical Psychology 63 ( 2007 ). Issue 7. B. Spring. 2007. Evidence-based practice in clinical psychology: what it is, why it matters; what you need to know. Journal of Clinical Psychology 63 (2007). Issue 7."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661156"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.3001257"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597008.2597154"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"crossref","unstructured":"Andreas Stefik Melissa Stefik and Evan Pierzina. 2018. The Quorum Programming Language. https:\/\/quorumlanguage.com  Andreas Stefik Melissa Stefik and Evan Pierzina. 2018. The Quorum Programming Language. https:\/\/quorumlanguage.com","DOI":"10.1145\/3017680.3022377"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238848"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_7"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.5555\/2820282.2820295"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048122"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094828"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133850.3133863"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884849"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328897.1328463"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699407"},{"key":"e_1_3_2_1_78_1","volume-title":"Colleen Donovan, and Scott Gabree.","author":"Yeh Michelle","year":"2013","unstructured":"Michelle Yeh , Young Jin Jo , Colleen Donovan, and Scott Gabree. 2013 . Human Factors Considerations in the Design and Evaluation of Flight Deck Displays and Controls . Technical Report. Federal Aviation Administration . Michelle Yeh, Young Jin Jo, Colleen Donovan, and Scott Gabree. 2013. Human Factors Considerations in the Design and Evaluation of Flight Deck Displays and Controls . Technical Report. Federal Aviation Administration."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287637"}],"event":{"name":"SPLASH '18: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston MA USA","acronym":"SPLASH '18"},"container-title":["Proceedings of the 2018 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\/3276954.3276965","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276954.3276965","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276954.3276965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:41Z","timestamp":1750208261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276954.3276965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":77,"alternative-id":["10.1145\/3276954.3276965","10.1145\/3276954"],"URL":"https:\/\/doi.org\/10.1145\/3276954.3276965","relation":{},"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}