{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:02:26Z","timestamp":1762459346802,"version":"3.41.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319247038"},{"type":"electronic","value":"9783319247045"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24704-5_14","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:31:29Z","timestamp":1443072689000},"page":"225-240","source":"Crossref","is-referenced-by-count":2,"title":["Type Checking by Domain Analysis in Ampersand"],"prefix":"10.1007","author":[{"given":"Stef M. M.","family":"Joosten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastiaan J. C.","family":"Joosten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"14_CR1","unstructured":"The Business Rules Group: Business rules manifesto \u2013 the principles of rule independence (2003). http:\/\/www.BusinessRulesGroup.org"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-642-21070-9_21","volume-title":"Relational and Algebraic Methods in Computer Science","author":"G. Michels","year":"2011","unstructured":"Michels, G., Joosten, S., van der Woude, J., Joosten, S.: Ampersand: Applying relation algebra in practice. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol.\u00a06663, pp. 280\u2013293. Springer, Heidelberg (2011)"},{"key":"14_CR3","unstructured":"Maddux, R.: Relation Algebras. Studies in Logic and the Foundations of Mathematics, vol.\u00a0150. Elsevier Science (2006)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-642-21070-9_25","volume-title":"Relational and Algebraic Methods in Computer Science","author":"J. Woude van der","year":"2011","unstructured":"van der Woude, J., Joosten, S.: Relational heterogeneity relaxed by subtyping. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol.\u00a06663, pp. 347\u2013361. Springer, Heidelberg (2011)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1145\/258949.258962","volume":"32","author":"S. Marlow","year":"1997","unstructured":"Marlow, S., Wadler, P.: A practical subtyping system for erlang. SIGPLAN Not.\u00a032, 136\u2013149 (1997)","journal-title":"SIGPLAN Not."},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B.H. Liskov","year":"1994","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a016, 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000113","volume":"1","author":"J.C. Mitchell","year":"1991","unstructured":"Mitchell, J.C.: Type inference with simple subtypes. Journal of Functional Programming\u00a01, 245\u2013285 (1991)","journal-title":"Journal of Functional Programming"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a015, 575\u2013631 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Tiuryn, J., Urzyczyn, P.: The subtyping problem for second-order types is undecidable. In: IEEE Computer Society Symposium on Logic in Computer Science, pp. 74\u201374 (1996)","DOI":"10.1109\/LICS.1996.561306"},{"key":"14_CR11","unstructured":"Wells, J.B.: The undecidability of mitchell\u2019s subtyping relationship. Technical report, Boston University Computer Science Department (1995)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Lindahl, T., Sagonas, K.: Practical type inference based on success typings. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 167\u2013178. ACM (2006)","DOI":"10.1145\/1140335.1140356"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s10115-012-0557-y","volume":"36","author":"D. Tom\u00e1s","year":"2013","unstructured":"Tom\u00e1s, D., Vicedo, J.L.: Minimally supervised question classification on fine-grained taxonomies. Knowledge and Information Systems\u00a036, 303\u2013334 (2013)","journal-title":"Knowledge and Information Systems"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24704-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T19:52:49Z","timestamp":1748634769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24704-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319247038","9783319247045"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24704-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}