{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:27Z","timestamp":1750307607927,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,23]],"date-time":"2010-01-23T00:00:00Z","timestamp":1264204800000},"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,23]]},"DOI":"10.1145\/1708016.1708025","type":"proceedings-article","created":{"date-parts":[[2010,1,26]],"date-time":"2010-01-26T13:53:54Z","timestamp":1264514034000},"page":"63-76","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Verifying event-driven programs using ramified frame properties"],"prefix":"10.1145","author":[{"given":"Neel R.","family":"Krishnaswami","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Birkedal","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,1,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186634"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_17"},{"key":"e_1_3_2_1_3_1","first-page":"54","volume-title":"MPC","author":"Barnett Mike","year":"2004"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1275497.1275499"},{"key":"e_1_3_2_1_5_1","unstructured":"R. Bird and P. Wadler. An introduction to functional programming. Prentice Hall International (UK) Ltd. Hertfordshire UK UK 1988.   R. Bird and P. Wadler. An introduction to functional programming. Prentice Hall International (UK) Ltd. Hertfordshire UK UK 1988."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.47"},{"key":"e_1_3_2_1_7_1","unstructured":"Lars\n       \n      Birkedal Kristian\n       \n      St\u00f8vring and \n      \n      \n      Jacob\n       \n      Thamsborg\n    .\n      \n  \n   \n  Realizability semantics of parametric polymorphism general references and recursive types. In Luca de Alfaro editor FOSSACS volume \n  5504\n   of \n  LNCS pages \n  456\n  --\n  470\n  . \n  Springer 2009\n  . ISBN 978-3-642-00595-4.  Lars Birkedal Kristian St\u00f8vring and Jacob Thamsborg. Realizability semantics of parametric polymorphism general references and recursive types. In Luca de Alfaro editor FOSSACS volume 5504 of LNCS pages 456--470. Springer 2009. ISBN 978-3-642-00595-4."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581482"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"volume-title":"Stanford University","year":"1987","author":"Finger J. J.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","unstructured":"Paul\n       \n      Hudak Antony\n       \n      Courtney Henrik\n       \n      Nilsson and \n      \n      \n      John\n       \n      Peterson\n    . Arrows robots and functional reactive programming. In Johan Jeuring and Simon L. Peyton Jones editors Advanced Functional Programming volume \n  2638\n   of \n  LNCS pages \n  159\n  --\n  187\n  . \n  Springer 2002\n  . ISBN 3-540-40132-6.  Paul Hudak Antony Courtney Henrik Nilsson and John Peterson. Arrows robots and functional reactive programming. In Johan Jeuring and Simon L. Peyton Jones editors Advanced Functional Programming volume 2638 of LNCS pages 159--187. Springer 2002. ISBN 3-540-40132-6."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/69575.69577"},{"volume-title":"Proceedings of FTfJP: Formal Techniques for Java-like Programs","year":"2007","author":"Krishnaswami N.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481874"},{"volume-title":"Carnegie Mellon University","year":"2009","author":"Krishnaswami Neelakantan R.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","first-page":"80","volume-title":"Rocco De Nicola","author":"K. Rustan","year":"2007"},{"key":"e_1_3_2_1_18_1","first-page":"254","volume-title":"Formal Methods for Distributed Processing: a Survey of Object-Oriented Approaches","author":"Liskov Barbara H.","year":"2001"},{"volume-title":"Edinburgh University Press","year":"1969","author":"McCarthy John","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_15"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159812"},{"volume-title":"Proceedings IWACO","year":"2007","author":"Parkinson M.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328451"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003322"},{"key":"e_1_3_2_1_25_1","first-page":"55 1483","volume-title":"Logic in Computer Science (LICS 2002","author":"Reynolds John C.","year":"2002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297053"}],"event":{"name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Madrid Spain","acronym":"POPL '10"},"container-title":["Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1708016.1708025","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1708016.1708025","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\/1708016.1708025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,23]]},"references-count":26,"alternative-id":["10.1145\/1708016.1708025","10.1145\/1708016"],"URL":"https:\/\/doi.org\/10.1145\/1708016.1708025","relation":{},"subject":[],"published":{"date-parts":[[2010,1,23]]},"assertion":[{"value":"2010-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}