{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:34Z","timestamp":1772164054387,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T00:00:00Z","timestamp":1464825600000},"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,6,2]]},"DOI":"10.1145\/2908080.2908091","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"296-309","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Occurrence typing modulo theories"],"prefix":"10.1145","author":[{"given":"Andrew M.","family":"Kent","sequence":"first","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Kempe","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Tobin-Hochstadt","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.06.006"},{"key":"e_1_3_2_1_2_1","volume-title":"Sam Tobin-Hochstadt. Practical Optional Types for Clojure. In Proc. ESOP","author":"Bonnaire-Sergeant Ambrose","year":"2016","unstructured":"Ambrose Bonnaire-Sergeant , Rowan Davies , and Sam Tobin-Hochstadt. Practical Optional Types for Clojure. In Proc. ESOP , 2016 . Ambrose Bonnaire-Sergeant, Rowan Davies, and Sam Tobin-Hochstadt. Practical Optional Types for Clojure. In Proc. ESOP, 2016."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086375"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384659"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103686"},{"key":"e_1_3_2_1_6_1","volume-title":"Typescript Language Specification. http: \/\/www.typescriptlang.org","author":"Microsoft Co.","year":"2014","unstructured":"Microsoft Co. Typescript Language Specification. http: \/\/www.typescriptlang.org , 2014 . Microsoft Co. Typescript Language Specification. http: \/\/www.typescriptlang.org, 2014."},{"key":"e_1_3_2_1_7_1","volume":"197","author":"Dantzig George B.","unstructured":"George B. Dantzig and B. Curtis Eaves . Fourier-Motzkin Elimination and Its Dual. J. Combinatorial Theory Series A , 197 3. George B. Dantzig and B. Curtis Eaves. Fourier-Motzkin Elimination and Its Dual. J. Combinatorial Theory Series A, 1973.","journal-title":"Its Dual. J. Combinatorial Theory Series A"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_9_1","volume-title":"Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex","author":"Felleisen Matthias","year":"2009","unstructured":"Matthias Felleisen , Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex . MIT Press , 2009 . Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex. MIT Press, 2009."},{"key":"e_1_3_2_1_11_1","unstructured":"https:\/\/ racket-lang.org\/tr1.  https:\/\/ racket-lang.org\/tr1."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.046"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706341"},{"key":"e_1_3_2_1_14_1","volume-title":"Cormac Flanagan. Sage: Hybrid Checking for Flexible Specifications. In Proc. Wksp. on Scheme and Functional Programming","author":"Gronski Jessica","year":"2006","unstructured":"Jessica Gronski , Kenneth Knowles , Aaron Tomb , Stephen N. Freund , and Cormac Flanagan. Sage: Hybrid Checking for Flexible Specifications. In Proc. Wksp. on Scheme and Functional Programming , 2006 . Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, and Cormac Flanagan. Sage: Hybrid Checking for Flexible Specifications. In Proc. Wksp. on Scheme and Functional Programming, 2006."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016857"},{"key":"e_1_3_2_1_16_1","unstructured":"Facebook Inc. Flow: A static type checker for JavaScript. http:\/\/flowtype.org 2014.  Facebook Inc. Flow: A static type checker for JavaScript. http:\/\/flowtype.org 2014."},{"key":"e_1_3_2_1_17_1","volume-title":"http:\/\/hacklang.org","author":"Facebook Inc. Hack.","year":"2014","unstructured":"Facebook Inc. Hack. http:\/\/hacklang.org , 2014 . Facebook Inc. Hack. http:\/\/hacklang.org, 2014."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481848.1481853"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1667048.1667051"},{"key":"e_1_3_2_1_20_1","volume-title":"Advanced Encryption Standard","author":"Miller Frederic P.","year":"2009","unstructured":"Frederic P. Miller , Agnes F. Vandome , and John McBrewster . Advanced Encryption Standard . Alpha Press , 2009 . Frederic P. Miller, Agnes F. Vandome, and John McBrewster. Advanced Encryption Standard. Alpha Press, 2009."},{"key":"e_1_3_2_1_21_1","volume-title":"David Walker. Dynamic Typing with Dependent Types. IFIP Intl. Conf. on Theoretical Computer Science","author":"Ou Xinming","year":"2004","unstructured":"Xinming Ou , Gang Tan , Yitzhak Mandelbaum , and David Walker. Dynamic Typing with Dependent Types. IFIP Intl. Conf. on Theoretical Computer Science , 2004 . Xinming Ou, Gang Tan, Yitzhak Mandelbaum, and David Walker. Dynamic Typing with Dependent Types. IFIP Intl. Conf. on Theoretical Computer Science, 2004."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375602"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034811"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837655"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. DLS","author":"Tobin-Hochstadt Sam","year":"2006","unstructured":"Sam Tobin-Hochstadt and Matthias Felleisen . Interlanguage Migration : From Scripts to Programs . In Proc. DLS , 2006 . Sam Tobin-Hochstadt and Matthias Felleisen. Interlanguage Migration: From Scripts to Programs. In Proc. DLS, 2006."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863561"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628161"},{"key":"e_1_3_2_1_29_1","volume-title":"Verify: Two-Phase Typing for Dynamic Languages. In Proc. ECOOP","author":"Vekris Panagiotis","year":"2015","unstructured":"Panagiotis Vekris , Benjamin Cosman , and Ranjit Jhala . Trust, but Verify: Two-Phase Typing for Dynamic Languages. In Proc. ECOOP , 2015 . Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala. Trust, but Verify: Two-Phase Typing for Dynamic Languages. In Proc. ECOOP, 2015."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661088.2661101"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2631168"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006216"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277732"}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Santa Barbara CA USA","acronym":"PLDI '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908091","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:54:49Z","timestamp":1750208089000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908091"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":32,"alternative-id":["10.1145\/2908080.2908091","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908091","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908091","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}