{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:33:44Z","timestamp":1725521624846},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540893295"},{"type":"electronic","value":"9783540893301"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89330-1_21","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T21:43:37Z","timestamp":1227735817000},"page":"290-306","source":"Crossref","is-referenced-by-count":1,"title":["Sound and Complete Type Inference for a Systems Programming Language"],"prefix":"10.1007","author":[{"given":"Swaroop","family":"Sridhar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan S.","family":"Shapiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott F.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Biagioni, E., Harper, R., Lee, P.: A network protocol stack in Standard ML. Higher Order and Symbolic Computation\u00a014(4) (2001)","DOI":"10.1023\/A:1014403914699"},{"key":"21_CR2","unstructured":"Deline, R., F\u00e4hndrich, M.: VAULT: a programming language for reliable systems (2001), http:\/\/research.microsoft.com\/vault"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Derby, H.: The performance of FoxNet 2.0. Technical Report CMU-CS-99-137 School of Computer Science, Carnegie Mellon University (June 1999)","DOI":"10.21236\/ADA382622"},{"key":"21_CR4","unstructured":"ECMA International Standard ECMA-334 C# Language Specification, http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-334.htm"},{"issue":"6","key":"21_CR5","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1145\/1186632.1186635","volume":"28","author":"J.S. Foster","year":"2006","unstructured":"Foster, J.S., Johnson, R., Kodumal, J., Aiken, A.: Flow-Insensitive Type Qualifiers. Trans. on Programming Languages and Systems.\u00a028(6), 1035\u20131087 (2006)","journal-title":"Trans. on Programming Languages and Systems."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Grossman, D.: Quantified Types in an Imperative Language. ACM Transactions on Programming Languages and Systems (2006)","DOI":"10.1145\/1133651.1133653"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Hughes, J.: Global variables in Haskell. Journal of Functional Programming archive\u00a014(5) (September 2004)","DOI":"10.1017\/S0956796802004471"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Diatchki, I.S., Jones, M.P., Leslie, R.: High- level Views on Low-level Representations. In: Proc. ACM Int. Conference on Functional Programming, pp. 168\u2013179 (2005)","DOI":"10.1145\/1086365.1086387"},{"key":"21_CR9","unstructured":"International Std. Organization ISO\/IEC 9899:1999 (Prog. Languages - C) (1999)"},{"key":"21_CR10","unstructured":"Jim, T., Morrisett, G., Grossman, D., Hicks, M., Cheney, J., Wang, Y.: Cyclone: A safe dialect of C. In: Proc. of USENIX Annual Technical Conference, pp. 275\u2013288 (2002)"},{"key":"21_CR11","unstructured":"Jones, M.P.: Qualified types: theory and practice.Cambridge Distinguished Dissertation in Computer Science (1995) ISBN:0-521-47253-9"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Launchbury, J.: Unboxed values as first class citizens in a non-strict functional language. Functional Programming Languages and Computer Architecture (1991)","DOI":"10.1007\/3540543961_30"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Wadler, P.: Imperative functional programming. In: Proc. ACM SIGPLAN Principles of Programming Languages (1993)","DOI":"10.1145\/158511.158524"},{"volume-title":"Haskell 98 Language and Libraries: The Revised report","year":"2003","key":"21_CR14","unstructured":"Peyton Jones, S.L. (ed.): Haskell 98 Language and Libraries: The Revised report. Cambridge University Press, Cambridge (2003)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences, 348\u2013375 (1978)","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"21_CR16","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. The MIT Press, Cambridge (1997)"},{"key":"21_CR17","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn., http:\/\/java.sun.com\/docs\/books\/jls"},{"key":"21_CR18","unstructured":"van Rossum, G.: Python Reference Manual. In: Drake Jr., F.L, ed. (2006), http:\/\/docs.python.org\/ref\/ref.html"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Shapiro, J.S., Smith, J.M., Farber, D.J.: EROS: a fast capability system. In: ACM Symposium on Operating Systems Principles (December 1999)","DOI":"10.1145\/319151.319163"},{"key":"21_CR20","unstructured":"Shapiro, J.S., Sridhar, S., Doerrie, M.S.: BitC Language Specification, http:\/\/www.bitc-lang.org\/docs\/bitc\/spec.html"},{"issue":"2\u20133","key":"21_CR21","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0167-6423(97)00030-0","volume":"32","author":"G. Smith","year":"1998","unstructured":"Smith, G., Volpano, D.: A sound polymorphic type system for a dialect of C. Science of Computer Programming\u00a032(2\u20133), 49\u201372 (1998)","journal-title":"Science of Computer Programming"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Sridhar, S., Shapiro, J.S.: Type Inference for Unboxed Types and First Class Mutability. In: Proc. 3rd Workshop on Prog. Languages and Operating Systems (2006)","DOI":"10.1145\/1215995.1216002"},{"key":"21_CR23","unstructured":"Sridhar, S., Shapiro, J.S., Smith, S.F.: Sound and Complete Type Inference in BitC. Technical Report SRL-2008-02, Systems Research Laboratory, The Johns Hopkins University (2008)"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Tarditi, D., Morrisett, G., Cheng, P., Stone, C., Harper, R., Lee, P.: TIL: A type-directed optimizing compiler for ML. In: Proc. ACM SIGPLAN PLDI (1996)","DOI":"10.1145\/231379.231414"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: Adding reference immutability to Java. Object-Oriented Programming Systems, Languages, and Applications (October 2005)","DOI":"10.1145\/1094811.1094828"},{"issue":"4","key":"21_CR26","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF01018828","volume":"8","author":"A. Wright","year":"1995","unstructured":"Wright, A.: Simple Imperative Polymorphism. Lisp and Symbolic Comp.\u00a08(4), 343\u2013355 (1995)","journal-title":"Lisp and Symbolic Comp."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89330-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T15:47:47Z","timestamp":1557935267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89330-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540893295","9783540893301"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89330-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}