{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:43Z","timestamp":1772164003742,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T00:00:00Z","timestamp":1316390400000},"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":[[2011,9,19]]},"DOI":"10.1145\/2034773.2034782","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T09:50:16Z","timestamp":1316512216000},"page":"45-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["A semantic model for graphical user interfaces"],"prefix":"10.1145","author":[{"given":"Neelakantan R.","family":"Krishnaswami","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]},{"given":"Nick","family":"Benton","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2011,9,19]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/647844.736565"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788785"},{"key":"e_1_3_2_2_3_1","volume-title":"FICS","author":"Birkedal L.","year":"2010","unstructured":"L. Birkedal , J. Schwinghammer , and K. St\u00f8vring . A metric model of guarded recursion . In FICS , 2010 . L. Birkedal, J. Schwinghammer, and K. St\u00f8vring. A metric model of guarded recursion. In FICS, 2010."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.16"},{"key":"e_1_3_2_2_5_1","first-page":"11","article-title":"A co-iterative characterization of synchronous stream functions","author":"Caspi P.","year":"1998","unstructured":"P. Caspi and M. Pouzet . A co-iterative characterization of synchronous stream functions . Electr. Notes Theor. Comput. Sci. , 11 , 1998 . P. Caspi and M. Pouzet. A co-iterative characterization of synchronous stream functions. Electr. Notes Theor. Comput. Sci., 11, 1998.","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646239.758803"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802188"},{"key":"e_1_3_2_2_11_1","unstructured":"J.\n      Egger R. E.\n      M\u00f8gelberg and \n      A.\n      Simpson\n  . \n  Enriching an effect calculus with linear types\n  . In E. Gr\u00e4del and R. Kahle editors CSL volume \n  5771\n   of \n  Lecture Notes in Computer Science pages \n  240\n  --\n  254\n  . \n  Springer 2009\n  . ISBN 978-3-642-04026-9.   J. Egger R. E. M\u00f8gelberg and A. Simpson. Enriching an effect calculus with linear types. In E. Gr\u00e4del and R. Kahle editors CSL volume 5771 of Lecture Notes in Computer Science pages 240--254. Springer 2009. ISBN 978-3-642-04026-9."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_2_13_1","volume-title":"Workshop on Realizability Semantics and Applications","author":"Escard\u00f3 M.","year":"1999","unstructured":"M. Escard\u00f3 . A metric model of PCF . In Workshop on Realizability Semantics and Applications , 1999 . M. Escard\u00f3. A metric model of PCF. In Workshop on Realizability Semantics and Applications, 1999."},{"key":"e_1_3_2_2_14_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of Computer Science Logic (CSL)","author":"Fiore M. P.","year":"1996","unstructured":"M. P. Fiore and G. D. Plotkin . An extension of models of axiomatic domain theory to models of synthetic domain theory . In Proceedings of Computer Science Logic (CSL) , volume 1258 of Lecture Notes in Computer Science . Springer , 1996 . M. P. Fiore and G. D. Plotkin. An extension of models of axiomatic domain theory to models of synthetic domain theory. In Proceedings of Computer Science Logic (CSL), volume 1258 of Lecture Notes in Computer Science. Springer, 1996."},{"key":"e_1_3_2_2_15_1","volume-title":"Design patterns: elements of reusable object-oriented software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design patterns: elements of reusable object-oriented software . Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA , 1995 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 1995."},{"key":"e_1_3_2_2_16_1","first-page":"12","article-title":"Closed categories generated by commutative monads","author":"Kock A.","year":"1971","unstructured":"A. Kock . Closed categories generated by commutative monads . Journal of the Australian Mathematical Society , 12 , 1971 . A. Kock. Closed categories generated by commutative monads. Journal of the Australian Mathematical Society, 12, 1971.","journal-title":"Journal of the Australian Mathematical Society"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.38"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596559"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/788022.789002"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_2_21_1","volume-title":"LRI","author":"Pouzet M.","year":"2006","unstructured":"M. Pouzet . Lucid Synchrone , version 3. Tutorial and reference manual. Universit\u00e9 Paris-Sud , LRI , 2006 . M. Pouzet. Lucid Synchrone, version 3. Tutorial and reference manual. Universit\u00e9 Paris-Sud, LRI, 2006."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00013-5"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596558"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11894100_5"},{"issue":"15","key":"e_1_3_2_2_25_1","first-page":"328","article-title":"Localic completion of generalized metric spaces II","volume":"14","author":"Vickers S.","year":"2005","unstructured":"S. Vickers . Localic completion of generalized metric spaces II : Powerlocales. Theory and Applications of Categories , 14 ( 15 ): 328 -- 356 , 2005 . ISSN 1201-561X. S. Vickers. Localic completion of generalized metric spaces II: Powerlocales. Theory and Applications of Categories, 14 (15): 328--356, 2005. ISSN 1201-561X.","journal-title":"Powerlocales. Theory and Applications of Categories"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_2_27_1","volume-title":"A concurrent logical framework i: Judgments and properties","author":"Watkins K.","year":"2002","unstructured":"K. Watkins , I. Cervesato , F. Pfenning , , and D. Walker . A concurrent logical framework i: Judgments and properties . Technical Report Carnegie Mellon University-CS-02-101, Carnegie Mellon University , 2002 . K. Watkins, I. Cervesato, F. Pfenning, , and D. Walker. A concurrent logical framework i: Judgments and properties. Technical Report Carnegie Mellon University-CS-02-101, Carnegie Mellon University, 2002."}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","location":"Tokyo Japan","acronym":"ICFP '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 16th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034773.2034782","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034773.2034782","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:39Z","timestamp":1750225719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034773.2034782"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,19]]},"references-count":26,"alternative-id":["10.1145\/2034773.2034782","10.1145\/2034773"],"URL":"https:\/\/doi.org\/10.1145\/2034773.2034782","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2034574.2034782","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,9,19]]},"assertion":[{"value":"2011-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}