{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:09Z","timestamp":1750306149007,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T00:00:00Z","timestamp":1476921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,10,20]]},"DOI":"10.1145\/2986012.2986030","type":"proceedings-article","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T14:16:42Z","timestamp":1477059402000},"page":"212-223","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["How are programs found? speculating about language ergonomics with Curry-Howard"],"prefix":"10.1145","author":[{"given":"Johannes","family":"Emerich","sequence":"first","affiliation":[{"name":"n.n., n.n."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384595"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509990041"},{"key":"e_1_3_2_1_3_1","volume-title":"Bulletin of the American Mathematical Society","volume":"30","author":"Atiyah M.","year":"1994"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985864"},{"volume-title":"OOPSLA Workshop on Revival of Dynamic Languages","year":"2004","author":"Bracha G.","key":"e_1_3_2_1_5_1"},{"volume-title":"Manning","year":"2016","author":"Brady E.","key":"e_1_3_2_1_6_1"},{"volume-title":"Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, June 24\u201328, 1991","year":"1981","author":"Brandt E.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/359104.359106"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/10930755_12"},{"volume-title":"University of Amsterdam","year":"2015","author":"Emerich J.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"R.P. Feynman. New textbooks for the \u201cnew\u201d mathematics. In Engineering and science volume 28 number 6 March 1965.  R.P. Feynman. New textbooks for the \u201cnew\u201d mathematics. In Engineering and science volume 28 number 6 March 1965."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837670"},{"volume-title":"March 19, 2011. https: \/\/existentialtype.wordpress.com\/2011\/03\/19\/ dynamic-languages-are-static-languages\/ R. Harper. Practical foundations for programming languages","year":"2012","author":"Harper R.","key":"e_1_3_2_1_13_1"},{"volume-title":"Mathematische Annalen","year":"1917","author":"Hilbert D.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1993-00413-0"},{"volume-title":"The American Mathematical Monthly","year":"1970","author":"Kline M.","key":"e_1_3_2_1_16_1"},{"volume-title":"Vintage Books","year":"1974","author":"Kline M.","key":"e_1_3_2_1_17_1"},{"volume-title":"Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages. Prentice-Hall, Inc., Upper Saddle River, NJ, USA","year":"1985","author":"Martin-L\u00f6f P.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","volume-title":"Philosophia Mathematica","volume":"5","author":"Mclarty C.","year":"1997"},{"volume-title":"OOPSLA Workshop on Revival of Dynamic Languages","year":"2004","author":"Meijer E.","key":"e_1_3_2_1_20_1"},{"volume-title":"accordance with a \u201cmore majestic order\u201d: the new math and the nature of mathematics at midcentury. In Isis","year":"2014","author":"Phillips C.J.","key":"e_1_3_2_1_21_1"},{"volume-title":"University of Chicago Press","year":"2015","author":"Phillips C.J.","key":"e_1_3_2_1_22_1"},{"volume-title":"MIT Press","year":"2002","author":"Pierce B.","key":"e_1_3_2_1_23_1"},{"volume-title":"Oxford University Press","year":"2005","author":"Poincar\u00e9 J.H.","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384599"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951915"},{"volume-title":"TR-2006-06: Scheme and functional programming workshop","year":"2006","author":"Siek J.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","volume-title":"29th European Conference on Object-Oriented Programming (ECOOP 2015","volume":"37","author":"Sussman G.","year":"2015"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364554"}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Amsterdam Netherlands","acronym":"SPLASH '16"},"container-title":["Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2986012.2986030","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2986012.2986030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:33Z","timestamp":1750217973000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2986012.2986030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,20]]},"references-count":29,"alternative-id":["10.1145\/2986012.2986030","10.1145\/2986012"],"URL":"https:\/\/doi.org\/10.1145\/2986012.2986030","relation":{},"subject":[],"published":{"date-parts":[[2016,10,20]]},"assertion":[{"value":"2016-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}