{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:34:48Z","timestamp":1725489288648},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540741299"},{"type":"electronic","value":"9783540741305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74130-5_10","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T15:32:56Z","timestamp":1187019176000},"page":"163-180","source":"Crossref","is-referenced-by-count":1,"title":["Proving Program Properties Specified with Subtype Marks"],"prefix":"10.1007","author":[{"given":"Tam\u00e1s","family":"Kozsik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-46028-4_4","volume-title":"Implementation of Functional Languages","author":"M. Mol de","year":"2002","unstructured":"de Mol, M., van Eekelen, M., Plasmeijer, R.: Theorem Proving for Functional Programmers, Sparkle: A Functional Theorem Prover. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 55\u201371. Springer, Heidelberg (2002)"},{"unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent Clean Version 2.0 Language Report (2001), http:\/\/www.cs.ru.nl\/~clean\/Manuals\/manuals.html","key":"10_CR2"},{"unstructured":"Koopman, P.: Language support to enforce constraints on data types. Technical Report 96-37, Computer Science, Leiden University, The Netherlands (1996)","key":"10_CR3"},{"unstructured":"van Arkel, D.F.R.: Annotated Types. M.Sc. thesis, Rijksuniversiteit te Leiden, Vakgroep Informatica (1998)","key":"10_CR4"},{"unstructured":"Kozsik, T., van Arkel, D., Plasmeijer, R.: Subtyping with strengthening type invariants. In: Mohnen, M., Koopman, P. (eds.) Proceedings of the 12th International Workshop on Implementation of Functional Languages. Aachener Informatik-Berichte, Aachen, Germany pp. 315\u2013330 (2000)","key":"10_CR5"},{"unstructured":"Kozsik, T.: Subtyping with subtype marks. Technical Report 2003-P05, E\u00f6tv\u00f6s Lor\u00e1nd University, Faculty of Informatics, Budapest, Hungary (2003)","key":"10_CR6"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11894100_7","volume-title":"Central European Functional Programming School","author":"T. Kozsik","year":"2006","unstructured":"Kozsik, T.: Tutorial on Subtype Marks. In: Horv\u00e1th, Z. (ed.) CEFP 2005. LNCS, vol.\u00a04164, pp. 191\u2013222. Springer, Heidelberg (2006)"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1017\/S0960129500070109","volume":"6","author":"E. Barendsen","year":"1996","unstructured":"Barendsen, E., Smetsers, S.: Uniqueness typing for functional languages with graph rewriting semantics. Mathematical Structures in Comp. Sci.\u00a06, 579\u2013612 (1996)","journal-title":"Mathematical Structures in Comp. Sci."},{"unstructured":"Kozsik, T.: Soundness of the type system of Senyv. Technical Report, E\u00f6tv\u00f6s Lor\u00e1nd University, Faculty of Informatics, Budapest, Hungary (to appear, 2007)","key":"10_CR9"},{"unstructured":"Peyton\u00a0Jones, S., Washburn, G., Weirich, S.: Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, Computer and Information Science Department, University of Pennsylvania (2004)","key":"10_CR10"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11546382_3","volume-title":"Advanced Functional Programming","author":"C. McBride","year":"2005","unstructured":"McBride, C.: Epigram: Practical Programming with Dependent Types. In: Vene, V., Uustalu, T. (eds.) AFP 2004. LNCS, vol.\u00a03622, pp. 130\u2013170. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Chen, C., Xi, H.: Combining Programming with Theorem Proving. In: ACM SIGPLAN Int\u2019l Conf. on Functional Programming. pp. 66\u201377 (2005)","key":"10_CR12","DOI":"10.1145\/1086365.1086375"},{"doi-asserted-by":"crossref","unstructured":"Nanevski, A., Morrisett, G., Birkedal, L.: Polymorphism and Separation in Hoare Type Theory. In: ACM SIGPLAN Int\u2019l Conf. on Functional Programming. pp. 62\u201373 (2006)","key":"10_CR13","DOI":"10.1145\/1159803.1159812"},{"doi-asserted-by":"crossref","unstructured":"Mandelbaum, Y., Walker, D., Harper, R.: An Effective Theory of Type Refinements. In: ACM SIGPLAN Int\u2019l Conf. on Functional Programming. pp. 213\u2013225 (2003)","key":"10_CR14","DOI":"10.1145\/944705.944725"},{"key":"10_CR15","volume-title":"Proceedings of Conference on Object-Oriented Programming, Languages, and Applications","author":"D. Clark","year":"1998","unstructured":"Clark, D., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: Proceedings of Conference on Object-Oriented Programming, Languages, and Applications, ACM Press, New York (1998)"},{"doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: Resource usage analysis. In: Symposium on Principles of Programming Languages. pp. 331\u2013342 (2002)","key":"10_CR16","DOI":"10.1145\/503272.503303"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/11964681_5","volume-title":"Implementation and Application of Functional Languages","author":"E. Brady","year":"2006","unstructured":"Brady, E., Hammond, K.: A dependently typed framework for static analysis of program execution costs. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol.\u00a04015, pp. 74\u201390. Springer, Heidelberg (2006)"},{"key":"10_CR18","first-page":"247","volume":"17","author":"Z. Horv\u00e1th","year":"2005","unstructured":"Horv\u00e1th, Z., Herny\u00e1k, Z., Zs\u00f3k, V.: Control Language for Distributed Clean. Acta Cybernetica\u00a017, 247\u2013271 (2005)","journal-title":"Acta Cybernetica"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74130-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:17:59Z","timestamp":1605763079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74130-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540741299","9783540741305"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74130-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}