{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:37:39Z","timestamp":1728175059968},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540786627"},{"type":"electronic","value":"9783540786634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78663-4_9","type":"book-chapter","created":{"date-parts":[[2008,3,8]],"date-time":"2008-03-08T06:00:01Z","timestamp":1204956001000},"page":"108-123","source":"Crossref","is-referenced-by-count":18,"title":["Type-Safe Distributed Programming with ML5"],"prefix":"10.1007","author":[{"given":"Tom","family":"Murphy VII","sequence":"first","affiliation":[]},{"given":"Karl","family":"Crary","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Harper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Compiling With Continuations","author":"A. Appel","year":"1992","unstructured":"Appel, A.: Compiling With Continuations. Cambridge University Press, Cambridge (1992)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Chong, S., Liu, J., Myers, A.C., Qi, X., Vikram, K., Zheng, L., Zheng, X.: Secure web applications via automatic partitioning. In: 21st ACM Symposium on Operating Systems Principles (SOSP), October 2007 (2007)","DOI":"10.1145\/1294261.1294265"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-540-74792-5_12","volume-title":"FMCO 2006","author":"E. Cooper","year":"2007","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: Links: Web programming without tiers. In: de Boer, et al. (eds.) FMCO 2006. LNCS, vol.\u00a04709, pp. 266\u2013296. Springer, Heidelberg (2007)"},{"key":"9_CR4","unstructured":"ECMAScript language specification. Technical Report ECMA-262 (1999)"},{"key":"9_CR5","unstructured":"Hybrid logics bibliography (2005), http:\/\/hylo.loria.fr\/content\/papers.php"},{"key":"9_CR6","unstructured":"W3C DOM IG. Document object model (2005), http:\/\/w3c.org\/DOM\/"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Jia, L., Walker, D.: Modal proofs as distributed programs (extended abstract). In: European Symposium on Programming (2004)","DOI":"10.1007\/978-3-540-24725-8_16"},{"key":"9_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts (1997)"},{"issue":"3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/319301.319345","volume":"21","author":"G. Morrisett","year":"1999","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N.: From System F to typed assembly language. ACM Transactions on Programming Languages and Systems\u00a021(3), 527\u2013568 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Murphy VII, T.: The wizard of TILT: Efficient(?), convenient and abstract type representations. Technical Report CMU-CS-02-120, Carnegie Mellon School of Computer Science (2002)","DOI":"10.21236\/ADA461241"},{"key":"9_CR11","unstructured":"Murphy VII, T.: Modal types for mobile code (thesis proposal). Technical Report CMU-CS-06-112, Carnegie Mellon, Pittsburgh, Pennsylvania, USA (2006)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11538363_6","volume-title":"Computer Science Logic","author":"T. Murphy VII","year":"2005","unstructured":"Murphy VII, T., Crary, K., Harper, R.: Distributed control flow with classical modal logic. In: Ong, L. (ed.) CSL 2005. LNCS, vol.\u00a03634, Springer, Heidelberg (2005)"},{"key":"9_CR13","volume-title":"Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004)","author":"T. Murphy VII","year":"2004","unstructured":"Murphy VII, T., Crary, K., Harper, R., Pfenning, F.: A symmetric modal lambda calculus for distributed computing. In: Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Park, S.: A modal language for the safety of mobile values. In: Fourth ASIAN Symposium on Programming Languages and Systems, November 2006 (2006)","DOI":"10.1007\/11924661_14"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Plainfoss\u00e9, D., Shapiro, M.: A survey of distributed collection techniques. Technical report, BROADCAST (1994)","DOI":"10.1007\/3-540-60368-9_26"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/10930755_8","volume-title":"Theorem Proving in Higher Order Logics","author":"C. Sch\u00fcrmann","year":"2003","unstructured":"Sch\u00fcrmann, C., Pfenning, F.: A coverage checking algorithm for LF. In: Basin, D., Wolff, B. (eds.) TPHOLs 2003. LNCS, vol.\u00a02758, pp. 120\u2013135. Springer, Heidelberg (2003)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Serrano, M., Gallesio, E., Loitsch, F.: HOP, a language for programming the Web 2.0. In: Proceedings of the First Dynamic Languages Symposium (2006)","DOI":"10.1145\/1176617.1176756"},{"key":"9_CR18","unstructured":"Simpson, A.: The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh (1994)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78663-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:17:55Z","timestamp":1619522275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78663-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540786627","9783540786634"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78663-4_9","relation":{},"subject":[]}}