{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:31Z","timestamp":1725791011753},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548321"},{"type":"electronic","value":"9783642548338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54833-8_4","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T05:37:17Z","timestamp":1395380237000},"page":"47-66","source":"Crossref","is-referenced-by-count":5,"title":["Gradual Typing for Annotated Type Systems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Thiemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luminous","family":"Fennell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/1119479.1119480","volume":"28","author":"M. Abadi","year":"2006","unstructured":"Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: Static race detection for Java. ACM TOPLAS\u00a028(2), 207\u2013255 (2006)","journal-title":"ACM TOPLAS"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems","year":"2009","unstructured":"Castagna, G. (ed.): ESOP 2009. LNCS, vol.\u00a05502. Springer, Heidelberg (2009)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11693024_18","volume-title":"Programming Languages and Systems","author":"B. Chin","year":"2006","unstructured":"Chin, B., Markstrum, S., Adsul, B.: Inference of user-defined type qualifiers and qualifier rules. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 264\u2013278. Springer, Heidelberg (2006)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Darwin, I.F.: Annabot: A static verifier for java annotation usage. Adv. Software Engineering\u00a0(2010)","DOI":"10.1155\/2010\/540547"},{"key":"4_CR5","unstructured":"Disney, T., Flanagan, C.: Gradual information flow typing. In: STOP 2011 (2011)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Fennell, L., Thiemann, P.: Gradual security typing with references. In: Cortier, V., Datta, A. (eds.) CSF, pp. 224\u2013239. IEEE (2013)","DOI":"10.1109\/CSF.2013.22"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java. In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 219\u2013232. ACM Press (June 2000); 35(5) of SIGPLAN Notices","DOI":"10.1145\/358438.349328"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Freeman, T., Pfenning, F.: Refinement types for ML. In: Proc.\u00a0PLDI 1991, pp. 268\u2013277. ACM (June 1991)","DOI":"10.1145\/113446.113468"},{"issue":"1-2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(98)00353-3","volume":"228","author":"A.D. Gordon","year":"1999","unstructured":"Gordon, A.D.: Bisimilarity as a theory of functional programming. Theoretical Computer Science\u00a0228(1-2), 5\u201347 (1999)","journal-title":"Theoretical Computer Science"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Heintze, N., Riecke, J.G.: The SLam calculus: Programming with security and integrity. In: Cardelli, L. (ed.) Proc.\u00a025th ACM Symp. POPL, pp. 365\u2013377. ACM Press (January 1998)","DOI":"10.1145\/268946.268976"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0167-6423(94)00004-2","volume":"22","author":"F. Henglein","year":"1994","unstructured":"Henglein, F.: Dynamic typing: Syntax and proof theory. Science of Computer Programming\u00a022, 197\u2013230 (1994)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1006\/inco.1996.0008","volume":"124","author":"D. Howe","year":"1996","unstructured":"Howe, D.: Proving congruence of bisimulation in functional programming languages. Information and Computation\u00a0124(2), 103\u2013112 (1996)","journal-title":"Information and Computation"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Ina, L., Igarashi, A.: Gradual typing for generics. In: Lopes, C.V., Fisher, K. (eds.) OOPSLA, pp. 609\u2013624. ACM (2011)","DOI":"10.1145\/2076021.2048114"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Jackson, D.: Aspect: Detecting bugs with abstract dependences. ACM Trans. Softw. Eng. Methodol.\u00a04(2), 109\u2013145 (1995)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-57880-3_23","volume-title":"Programming Languages and Systems - ESOP \u201994","author":"A. Kennedy","year":"1994","unstructured":"Kennedy, A.: Dimension types. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, pp. 348\u2013362. Springer, Heidelberg (1994)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Kennedy, A.J.: Relational parametricity and units of measure. In: Jones, N. (ed.) Proc. 1997 ACM Symp. POPL, pp. 442\u2013455. ACM (January 1997)","DOI":"10.1145\/263699.263761"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Knowles, K.L., Flanagan, C.: Hybrid type checking. ACM Trans. Program. Lang. Syst.\u00a032(2) (2010)","DOI":"10.1145\/1667048.1667051"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Leijen, D., Meijer, E.: Domain-specific embedded compilers. In: 2nd Conference on Domain-Specific Languages. USENIX (October 1999), \n                    \n                      http:\/\/usenix.org\/events\/dsl99\/index.html","DOI":"10.1145\/331960.331977"},{"key":"4_CR19","unstructured":"Morris Jr., J.H.: Lambda Calculus Models of Programming Languages. PhD thesis. MIT Press (December 1968)"},{"issue":"2","key":"4_CR20","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/234528.234745","volume":"28","author":"F. Nielson","year":"1996","unstructured":"Nielson, F.: Annotated type and effect systems. Computing Surveys\u00a028(2), 344\u2013345 (1996)","journal-title":"Computing Surveys"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Pessaux, F., Leroy, X.: Type-based analysis of uncaught exceptions. In: Aiken, A. (ed.) Proc.\u00a0 26th ACM Symp. POPL, pp. 276\u2013290. ACM Press (January 1999)","DOI":"10.1145\/292540.292565"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Rastogi, A., Chaudhuri, A., Hosmer, B.: The ins and outs of gradual type inference. In: Proc.\u00a039th ACM Symp. POPL, pp. 481\u2013494. ACM Press (January 2012)","DOI":"10.1145\/2103656.2103714"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Rittri, M.: Dimension inference under polymorphic recursion. In: Peyton Jones, S. (ed.) Proc.\u00a0FPCA 1995, pp. 147\u2013159. ACM (June 1995)","DOI":"10.1145\/224164.224197"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Sergey, I., Clarke, D.: Gradual ownership types. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 579\u2013599. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28869-2_29"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-73589-2_2","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"J.G. Siek","year":"2007","unstructured":"Siek, J.G., Taha, W.: Gradual typing for objects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 2\u201327. Springer, Heidelberg (2007)"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Siek, J.G., Garcia, R., Taha, W.: Exploring the design space of higher-order casts. In: Castagna [2], pp. 17\u201331","DOI":"10.1007\/978-3-642-00590-9_2"},{"key":"4_CR27","unstructured":"Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Scheme and Functional Programming Workshop (September 2006)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Siek, J.G., Wadler, P.: Threesomes, with and without blame. In: Palsberg, J. (ed.) Proc.\u00a037th ACM Symp. POPL, pp. 365\u2013376. ACM Press (January 2010)","DOI":"10.1145\/1706299.1706342"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Solberg, K.L.: Annotated Type Systems for Program Analysis. PhD thesis, Odense University, Denmark. Also technical report DAIMI PB-498, Comp. Sci. Dept. Aarhus University (July 1995)","DOI":"10.7146\/dpb.v24i498.7026"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Tang, D., Plsek, A., Vitek, J.: Static checking of safety critical Java annotations. In: Kalibera, T., Vitek, J. (eds.) JTRES. ACM International Conference Proceeding Series, pp. 148\u2013154. ACM (August 2010)","DOI":"10.1145\/1850771.1850792"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: Interlanguage migration: From scripts to programs. In: Dynamic Languages Symposium, DLS 2006, pp. 964\u2013974. ACM (2006)","DOI":"10.1145\/1176617.1176755"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. In: Castagna [2], pp. 1\u201316","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-22655-7_22","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"R. Wolff","year":"2011","unstructured":"Wolff, R., Garcia, R., Tanter, \u00c9., Aldrich, J.: Gradual typestate. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 459\u2013483. Springer, Heidelberg (2011)"}],"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-642-54833-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:19:29Z","timestamp":1558858769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54833-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548321","9783642548338"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54833-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}