{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:26Z","timestamp":1750307606749,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T00:00:00Z","timestamp":1263859200000},"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":[[2010,1,19]]},"DOI":"10.1145\/1707790.1707796","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T20:15:04Z","timestamp":1263932104000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Resource typing in Guru"],"prefix":"10.1145","author":[{"given":"Aaron","family":"Stump","sequence":"first","affiliation":[{"name":"The University of Iowa, Iowa City, IA, USA"}]},{"given":"Evan","family":"Austin","sequence":"additional","affiliation":[{"name":"The University of Kansas, Lawrence, KS, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,1,19]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1086365.1086375"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1596550.1596565"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1094811.1094836"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/11863649","volume-title":"Advances in Computer Science -- ASIAN","author":"Luo Z.","year":"2006","unstructured":"Z. Luo . A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations . In M. Okada and I. Satoh, editors, Advances in Computer Science -- ASIAN 2006 . Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, volume 4435 of Lecture Notes in Computer Science , pages 214 -- 222 . Springer , 2008. Z. Luo. A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. In M. Okada and I. Satoh, editors, Advances in Computer Science -- ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, volume 4435 of Lecture Notes in Computer Science, pages 214--222. Springer, 2008."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1411204.1411237"},{"unstructured":"U. Norell. Towards a Practical Programming Language Based on Dependent Type Theory. PhD thesis Chalmers University of Technology 2007.  U. Norell. Towards a Practical Programming Language Based on Dependent Type Theory. PhD thesis Chalmers University of Technology 2007.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/1411204.1411213"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1244381.1244400"},{"key":"e_1_3_2_1_10_1","volume-title":"Master's thesis","author":"Petcher A.","year":"2008","unstructured":"A. Petcher . Deciding Joinability Modulo Ground Equations in Operational Type Theory . Master's thesis , Washington University in Saint Louis, May 2008 . Available from http:\/\/www.cs.uiowa.edu\/~astump. A. Petcher. Deciding Joinability Modulo Ground Equations in Operational Type Theory. Master's thesis, Washington University in Saint Louis, May 2008. Available from http:\/\/www.cs.uiowa.edu\/~astump."},{"key":"e_1_3_2_1_11_1","volume-title":"workshop affiliated with the Conference on Automated Deduction (CADE)","author":"Petcher A.","year":"2009","unstructured":"A. Petcher and A. Stump . Deciding Joinability Modulo Ground Equations in Operational Type Theory. In S. Lengrand and D. Miller, editors, Proof Search in Type Theories (PSTT) , workshop affiliated with the Conference on Automated Deduction (CADE) , 2009 . A. Petcher and A. Stump. Deciding Joinability Modulo Ground Equations in Operational Type Theory. In S. Lengrand and D. Miller, editors, Proof Search in Type Theories (PSTT), workshop affiliated with the Conference on Automated Deduction (CADE), 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.5555\/645683.664578"},{"key":"e_1_3_2_1_13_1","volume-title":"Programming Languages meets Program Verification","author":"Sheard T.","year":"2006","unstructured":"T. Sheard . Type-Level Computation Using Narrowing in \u03a9mega . In Programming Languages meets Program Verification , 2006 . T. Sheard. Type-Level Computation Using Narrowing in \u03a9mega. In Programming Languages meets Program Verification, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1481848.1481856"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/978-3-540-85373-2_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1016\/j.scico.2007.07.008"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/978-3-540-30557-6_8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-3-540-85373-2_12"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"acronym":"POPL '10","name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Madrid Spain"},"container-title":["Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1707790.1707796","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1707790.1707796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:36Z","timestamp":1750250736000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1707790.1707796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,19]]},"references-count":17,"alternative-id":["10.1145\/1707790.1707796","10.1145\/1707790"],"URL":"https:\/\/doi.org\/10.1145\/1707790.1707796","relation":{},"subject":[],"published":{"date-parts":[[2010,1,19]]},"assertion":[{"value":"2010-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}