{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:19Z","timestamp":1750220659488,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,9]],"date-time":"2020-11-09T00:00:00Z","timestamp":1604880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004063","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Stiftelsen f\u00f6r Strategisk Forskning","award":["RIT17-0023"],"award-info":[{"award-number":["RIT17-0023"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,13]]},"DOI":"10.1145\/3411506.3417595","type":"proceedings-article","created":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T21:13:27Z","timestamp":1604351607000},"page":"13-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Short Paper: Weak Runtime-Irrelevant Typing for Security"],"prefix":"10.1145","author":[{"given":"Matth\u00edas P\u00e1ll","family":"Gissurarson","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agust\u00edn","family":"Mista","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04132-2_5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628141"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804307"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242760"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_7_1","volume-title":"Haskell workshop. 1--16","author":"Jones Simon Peyton","year":"1997","unstructured":"Simon Peyton Jones , Mark Jones , and Erik Meijer . 1997 . Type classes: an exploration of the design space . In Haskell workshop. 1--16 . Simon Peyton Jones, Mark Jones, and Erik Meijer. 1997. Type classes: an exploration of the design space. In Haskell workshop. 1--16."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 2nd Conference on Domain-Specific Languages","author":"Leijen Daan","year":"2000","unstructured":"Daan Leijen and Erik Meijer . 2000 . Domain Specific Embedded Compilers . In Proceedings of the 2nd Conference on Domain-Specific Languages ( Austin, Texas, USA) (DSL '99). Association for Computing Machinery, New York, NY, USA, 109--122. https:\/\/doi.org\/10.1145\/33 1960.331977 10.1145\/331960.331977 Daan Leijen and Erik Meijer. 2000. Domain Specific Embedded Compilers. In Proceedings of the 2nd Conference on Domain-Specific Languages (Austin, Texas, USA) (DSL '99). Association for Computing Machinery, New York, NY, USA, 109--122. https:\/\/doi.org\/10.1145\/331960.331977"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863533"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell (St","author":"Otwani Divesh","year":"2018","unstructured":"Divesh Otwani and Richard A. Eisenberg . 2018. The Thoralf Plugin: For Your Fancy Type Needs . In Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell (St . Louis, MO, USA) (Haskell 2018 ). Association for Computing Machinery, New York, NY, USA, 106--118. https:\/\/doi.org\/10.1145\/3242744.3242754 10.1145\/3242744.3242754 Divesh Otwani and Richard A. Eisenberg. 2018. The Thoralf Plugin: For Your Fancy Type Needs. In Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell (St. Louis, MO, USA) (Haskell 2018). Association for Computing Machinery, New York, NY, USA, 106--118. https:\/\/doi.org\/10.1145\/3242744.3242754"},{"volume-title":"Proceedings of the First ACM SIGPLAN Symposium on Haskell (Victoria, BC, Canada) (Haskell '08)","author":"Pucella Riccardo","key":"e_1_3_2_1_12_1","unstructured":"Riccardo Pucella and Jesse A. Tov . 2008. Haskell Session Types with (Almost) No Class . In Proceedings of the First ACM SIGPLAN Symposium on Haskell (Victoria, BC, Canada) (Haskell '08) . Association for Computing Machinery, New York, NY, USA, 25--36. https:\/\/doi.org\/10.1145\/1411286.1411290 10.1145\/1411286.1411290 Riccardo Pucella and Jesse A. Tov. 2008. Haskell Session Types with (Almost) No Class. In Proceedings of the First ACM SIGPLAN Symposium on Haskell (Victoria, BC, Canada) (Haskell '08). Association for Computing Machinery, New York, NY, USA, 25--36. https:\/\/doi.org\/10.1145\/1411286.1411290"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784756"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205368.3205370"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000241"},{"key":"e_1_3_2_1_17_1","volume-title":"The ghc-8.10.1 library Constraint module . https:\/\/hackage.haskell.org\/package\/ghc-8.10.1\/docs\/src\/Constraint.html Retrieved","author":"Team GHC","year":"2020","unstructured":"GHC Team . 2020. The ghc-8.10.1 library Constraint module . https:\/\/hackage.haskell.org\/package\/ghc-8.10.1\/docs\/src\/Constraint.html Retrieved August 18, 2020 from GHC Team. 2020. The ghc-8.10.1 library Constraint module . https:\/\/hackage.haskell.org\/package\/ghc-8.10.1\/docs\/src\/Constraint.html Retrieved August 18, 2020 from"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3229061"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Virtual Event USA","acronym":"CCS '20"},"container-title":["Proceedings of the 15th Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3411506.3417595","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3411506.3417595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:37Z","timestamp":1750197757000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3411506.3417595"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,9]]},"references-count":18,"alternative-id":["10.1145\/3411506.3417595","10.1145\/3411506"],"URL":"https:\/\/doi.org\/10.1145\/3411506.3417595","relation":{},"subject":[],"published":{"date-parts":[[2020,11,9]]},"assertion":[{"value":"2020-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}