{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:13Z","timestamp":1772164093431,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1518844"],"award-info":[{"award-number":["1518844"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192398","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"812-825","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Inferring type rules for syntactic sugar"],"prefix":"10.1145","author":[{"given":"Justin","family":"Pombrio","sequence":"first","affiliation":[{"name":"Brown University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[{"name":"Brown University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Practical Optional Types for Clojure. In European Symposium on Programming Languages and Systems. Springer-Verlag","author":"Bonnaire-Sergeant Ambrose","year":"2016","unstructured":"Ambrose Bonnaire-Sergeant , Rowan Davies , and Sam Tobin-Hochstadt . 2016 . Practical Optional Types for Clojure. In European Symposium on Programming Languages and Systems. Springer-Verlag , Berlin, Heidelberg. Ambrose Bonnaire-Sergeant, Rowan Davies, and Sam Tobin-Hochstadt. 2016. Practical Optional Types for Clojure. In European Symposium on Programming Languages and Systems. Springer-Verlag, Berlin, Heidelberg."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489837.2489840"},{"key":"e_1_3_2_2_3_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","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_2_4_1","volume-title":"Principles of Programming Languages","author":"Chang Stephen","unstructured":"Stephen Chang , Alex Knauth , and Ben Greenman . 2017. Type systems as macros . In Principles of Programming Languages . ACM , New York, NY, USA . Stephen Chang, Alex Knauth, and Ben Greenman. 2017. Type systems as macros. In Principles of Programming Languages. ACM, New York, NY, USA."},{"key":"e_1_3_2_2_5_1","unstructured":"Daniel de Rauglaudre. 2007. Camlp5 - Reference Manua. (2007). http:\/\/pauillac.inria.fr\/ddr\/camlp5\/doc\/pdf\/camlp5-5.06.pdf.  Daniel de Rauglaudre. 2007. Camlp5 - Reference Manua. (2007). http:\/\/pauillac.inria.fr\/ddr\/camlp5\/doc\/pdf\/camlp5-5.06.pdf."},{"key":"e_1_3_2_2_6_1","volume-title":"Robert Bruce Findler, and Matthew Flatt","author":"Felleisen Matthias","year":"2009","unstructured":"Matthias Felleisen , Robert Bruce Findler, and Matthew Flatt . 2009 . Semantics Engineering with PLT Redex. MIT Press . Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt. 2009. Semantics Engineering with PLT Redex. MIT Press."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159817"},{"key":"e_1_3_2_2_8_1","volume-title":"Reference: Racket. Technical Report PLT-TR2010-1","author":"Flatt Matthew","year":"2010","unstructured":"Matthew Flatt and PLT. June 7 , 2010 . Reference: Racket. Technical Report PLT-TR2010-1 . PLT Inc . racket-lang.org\/tr1\/. Matthew Flatt and PLT. June 7, 2010. Reference: Racket. Technical Report PLT-TR2010-1. PLT Inc. racket-lang.org\/tr1\/."},{"key":"e_1_3_2_2_9_1","volume-title":"Binding Macros in MacroML. In International Conference on Functional Programming. ACM","author":"Ganz Steve","year":"2001","unstructured":"Steve Ganz , Amr Sabry , and Walid Taha . 2001 . Macros as Multi-Stage Computations: Type-Safe, Generative , Binding Macros in MacroML. In International Conference on Functional Programming. ACM , New York, NY, USA. Steve Ganz, Amr Sabry, and Walid Taha. 2001. Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. In International Conference on Functional Programming. ACM, New York, NY, USA."},{"key":"e_1_3_2_2_10_1","volume-title":"The Essence of JavaScript. In European Conference on Object-oriented Programming. Springer-Verlag","author":"Guha Arjun","year":"2010","unstructured":"Arjun Guha , Claudiu Saftoiu , and Shriram Krishnamurthi . 2010 . The Essence of JavaScript. In European Conference on Object-oriented Programming. Springer-Verlag , Berlin, Heidelberg, 25. Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi. 2010. The Essence of JavaScript. In European Conference on Object-oriented Programming. Springer-Verlag, Berlin, Heidelberg, 25."},{"key":"e_1_3_2_2_11_1","volume-title":"Scripting the Type Inference Process. In International Conference on Functional Programming. ACM, NewYork, NY, USA.","author":"Heeren Bastiaan","unstructured":"Bastiaan Heeren , Jurriaan Hage , and S. Doaitse Swierstra . 2003 . Scripting the Type Inference Process. In International Conference on Functional Programming. ACM, NewYork, NY, USA. Bastiaan Heeren, Jurriaan Hage, and S. Doaitse Swierstra. 2003. Scripting the Type Inference Process. In International Conference on Functional Programming. ACM, NewYork, NY, USA."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792878.1792884"},{"key":"e_1_3_2_2_13_1","volume-title":"Natural Semantics. In International Symposium on Theoretical Aspects of Computer Software.","author":"Kahn Gilles","year":"1987","unstructured":"Gilles Kahn . 1987 . Natural Semantics. In International Symposium on Theoretical Aspects of Computer Software. Gilles Kahn. 1987. Natural Semantics. In International Symposium on Theoretical Aspects of Computer Software."},{"key":"e_1_3_2_2_14_1","volume-title":"Modular and Automated Type-Soundness for Language Extensions. In International Conference on Functional Programming. ACM","author":"Lorenzen Florian","year":"2013","unstructured":"Florian Lorenzen and Sebastian Erdweg . 2013 . Modular and Automated Type-Soundness for Language Extensions. In International Conference on Functional Programming. ACM , New York, NY, USA, 12. Florian Lorenzen and Sebastian Erdweg. 2013. Modular and Automated Type-Soundness for Language Extensions. In International Conference on Functional Programming. ACM, New York, NY, USA, 12."},{"key":"e_1_3_2_2_15_1","volume-title":"Principles of Programming Languages","author":"Lorenzen Florian","unstructured":"Florian Lorenzen and Sebastian Erdweg . 2016. Sound type-dependent syntactic language extension . In Principles of Programming Languages . ACM , New York, NY, USA . Florian Lorenzen and Sebastian Erdweg. 2016. Sound type-dependent syntactic language extension. In Principles of Programming Languages. ACM, New York, NY, USA."},{"key":"e_1_3_2_2_16_1","volume-title":"Explicitly Heterogeneous Metaprogramming with MetaHaskell. In International Conference on Functional Programming. ACM","author":"Mainland Geoffrey","year":"2012","unstructured":"Geoffrey Mainland . 2012 . Explicitly Heterogeneous Metaprogramming with MetaHaskell. In International Conference on Functional Programming. ACM , New York, NY, USA. Geoffrey Mainland. 2012. Explicitly Heterogeneous Metaprogramming with MetaHaskell. In International Conference on Functional Programming. ACM, New York, NY, USA."},{"key":"e_1_3_2_2_17_1","volume-title":"Safely Composable Type-Specific Languages. In European Conference on Object-Oriented Programming. Springer-Verlag","author":"Omar Cyrus","year":"2014","unstructured":"Cyrus Omar , Darya Kurilova , Ligia Nistor , Benjamin Chung , Alex Potanin , and Jonathan Aldrich . 2014 . Safely Composable Type-Specific Languages. In European Conference on Object-Oriented Programming. Springer-Verlag , New York, NY, USA. Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, and Jonathan Aldrich. 2014. Safely Composable Type-Specific Languages. In European Conference on Object-Oriented Programming. Springer-Verlag, New York, NY, USA."},{"key":"e_1_3_2_2_18_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones Peyton","unstructured":"Peyton Jones , Simon. 2003. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press . Peyton Jones, Simon. 2003. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384577.2384579"},{"key":"e_1_3_2_2_21_1","volume-title":"Python: The Full Monty: A Tested Semantics for the Python Programming Language. In ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications. ACM","author":"Politz Joe Gibbs","year":"2013","unstructured":"Joe Gibbs Politz , Alejandro Martinez , Matthew Milano , Sumner Warren , Daniel Patterson , Junsong Li , Anand Chitipothu , and Shriram Krishnamurthi . 2013 . Python: The Full Monty: A Tested Semantics for the Python Programming Language. In ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications. ACM , New York, NY, USA, 217s232. Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi. 2013. Python: The Full Monty: A Tested Semantics for the Python Programming Language. In ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications. ACM, New York, NY, USA, 217s232."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594319"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110288"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/3089528.3089554"},{"key":"e_1_3_2_2_25_1","volume-title":"Template Metaprogramming for Haskell. In ACM SIGPLAN Haskell Workshop. ACM","author":"Sheard Tim","year":"2002","unstructured":"Tim Sheard and Simon Peyton Jones . 2002 . Template Metaprogramming for Haskell. In ACM SIGPLAN Haskell Workshop. ACM , New York, NY, USA. Tim Sheard and Simon Peyton Jones. 2002. Template Metaprogramming for Haskell. In ACM SIGPLAN Haskell Workshop. ACM, New York, NY, USA."},{"key":"e_1_3_2_2_26_1","unstructured":"Joel Spolsky. 2002. The Law of Leaky Abstractions. Blog post: Joel on Software. (2002). https:\/\/www.joelonsoftware.com\/2002\/11\/11\/the-law-of-leaky-abstractions\/.  Joel Spolsky. 2002. The Law of Leaky Abstractions. Blog post: Joel on Software. (2002). https:\/\/www.joelonsoftware.com\/2002\/11\/11\/the-law-of-leaky-abstractions\/."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628162"},{"key":"e_1_3_2_2_28_1","volume-title":"Programming Languages Design and Implementation","author":"Tobin-Hochstadt Sam","unstructured":"Sam Tobin-Hochstadt , Vincent St-Amour , Ryan Culpepper , Matthew Flatt , and Matthias Felleisen . 2011. Languages as Libraries . In Programming Languages Design and Implementation . ACM , New York, NY, USA . Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, and Matthias Felleisen. 2011. Languages as Libraries. In Programming Languages Design and Implementation. ACM, New York, NY, USA."}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192398","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192398","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192398"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":27,"alternative-id":["10.1145\/3192366.3192398","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192398","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192398","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}