{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:24:49Z","timestamp":1725891889350},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540468431"},{"type":"electronic","value":"9783540468455"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11894100_7","type":"book-chapter","created":{"date-parts":[[2006,11,9]],"date-time":"2006-11-09T13:11:30Z","timestamp":1163077890000},"page":"191-222","source":"Crossref","is-referenced-by-count":2,"title":["Tutorial on Subtype Marks"],"prefix":"10.1007","author":[{"given":"Tam\u00e1s","family":"Kozsik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"7_CR2","unstructured":"van Arkel, D.F.R.: Annotated Types. M.Sc. thesis, Rijksuniversiteit te Leiden, Vakgroep Informatica (1998)"},{"key":"7_CR3","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Williams, M., Wikstrom, C.: Concurrent Programming in Erlang. Prentice Hall, Englewood Cliffs (1996)"},{"key":"7_CR4","volume-title":"ACM International Conference on Functional Programming 1998","author":"L. Augustsson","year":"1998","unstructured":"Augustsson, L.: Cayenne\u2014a language with dependent types. In: ACM International Conference on Functional Programming 1998. ACM Press, New York (1998)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Rustan, K., Leino, M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer\u00a07(3), 212\u2013232 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (October 1998)","DOI":"10.1145\/286936.286947"},{"key":"7_CR7","unstructured":"Erlang Verification Tool\u2014Version 2.0 (01) of April 9, 2001 (August 2005), \n                  \n                    http:\/\/www.sics.se\/fdt\/vericode\/evt.html"},{"key":"7_CR8","volume-title":"Aspect-Oriented Software Development","author":"R.E. Filman","year":"2005","unstructured":"Filman, R.E., Elrad, T., Clarke, S., Ak\u015fit, M.: Aspect-Oriented Software Development. Addison-Wesley, Reading (2005)"},{"key":"7_CR9","unstructured":"Fredlund, L-\u00c5.: A Framework for Reasoning about Erlang Code. PhD. thesis, Royal Institute of Technology, Sweden (August 2001)"},{"key":"7_CR10","unstructured":"Hammond, K.: Hume. In: Proceedings of the Central-European Functional Programming School (CEFP), Budapest, Hungary (2005)"},{"key":"7_CR11","unstructured":"Home of Clean (August 2005), \n                  \n                    http:\/\/www.cs.ru.nl\/~clean\/"},{"key":"7_CR12","unstructured":"Kesseler, M.H.G.: The Implementation of Functional Languages on Parallel machines with Distributed Memory. Ph.D.thesis, University of Nijmegen (1996)"},{"key":"7_CR13","unstructured":"Koopman, P.: Constrained data types. Technical Report 96-36., Computer Science, Leiden University, The Netherlands (1996)"},{"key":"7_CR14","unstructured":"Koopman, P.: Language Support to Enforce Constraints on Data Types. Technical Report 96-37, Computer Science, Leiden University, The Netherlands (1996)"},{"key":"7_CR15","unstructured":"Koopman, P.: Constrained data types. In Dagstuhl Seminar Report, No. 156 (1996)"},{"key":"7_CR16","unstructured":"Kozsik, T.: Alt\u00edpusjeles t\u00edpusok. PhD thesis (in Hungarian). E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary (under preparation)"},{"key":"7_CR17","volume-title":"Proceedings of 5th Joint Conference on Mathematics and Computer Science (5th MaCS)","author":"T. Kozsik","year":"2004","unstructured":"Kozsik, T.: The expressive power of inequalities. In: Proceedings of 5th Joint Conference on Mathematics and Computer Science (5th MaCS), Debrecen, Hungary (2004) (abstract)"},{"key":"7_CR18","unstructured":"Kozsik, T.: Reasoning with Sparkle: a case study. Technical Report, University E\u00f6tv\u00f6s Lor\u00e1nd, Faculty of Informatics, Budapest, Hungary (2004)"},{"key":"7_CR19","unstructured":"Kozsik, T.: Subtyping with subtype marks. Technical Report 2003-P05, University E\u00f6tv\u00f6s Lor\u00e1nd, Faculty of Informatics, Budapest, Hungary (2003)"},{"key":"7_CR20","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 Informatic-Berichte, Aachen, Germany, September 2000, pp. 315\u2013330 (2000)"},{"key":"7_CR21","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 (in preparation) (2005), Available at: \n                  \n                    http:\/\/www.dur.ac.uk\/CARG\/epigram\/epigram-afpnotes.pdf"},{"key":"7_CR22","unstructured":"MODULA-2 (August 2005), \n                  \n                    http:\/\/www.modula2.org\/"},{"key":"7_CR23","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, p. 55. Springer, Heidelberg (2002)"},{"key":"7_CR24","unstructured":"Open Source Erlang (August 2005), \n                  \n                    http:\/\/www.erlang.org\/"},{"key":"7_CR25","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"R. Plasmeijer","year":"1993","unstructured":"Plasmeijer, R., van Eekelen, M.: Functional Programming and Parallel Graph Rewriting. Addison-Wesley, Reading (1993)"},{"key":"7_CR26","unstructured":"The Ada 95 Reference Manual. Available at e.g.: \n                  \n                    http:\/\/lgl.epfl.ch\/ada\/"},{"key":"7_CR27","unstructured":"The Hume Page (August 2005), \n                  \n                    http:\/\/www-fp.dcs.st-and.ac.uk\/hume\/"},{"key":"7_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96757-3","volume-title":"Programming in Modula","author":"N. Wirth","year":"1983","unstructured":"Wirth, N.: Programming in Modula, vol.\u00a02. Springer, Heidelberg (1983)"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11894100_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:36:32Z","timestamp":1619508992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11894100_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540468431","9783540468455"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11894100_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}