{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:05:14Z","timestamp":1725753914813},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642416590"},{"type":"electronic","value":"9783642416606"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41660-6_27","type":"book-chapter","created":{"date-parts":[[2013,10,28]],"date-time":"2013-10-28T10:59:31Z","timestamp":1382957971000},"page":"494-506","source":"Crossref","is-referenced-by-count":1,"title":["Well-Defined NRC Queries Can Be Typed"],"prefix":"10.1007","author":[{"given":"Jan","family":"Van den Bussche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stijn","family":"Vansummeren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Barendregt, H.: The Lambda Calculus: its Syntax and Semantics. North-Holland (1984)"},{"issue":"1","key":"27_CR2","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/0022-0000(91)90035-4","volume":"43","author":"P. Buneman","year":"1991","unstructured":"Buneman, P., Davidson, S., Watters, A.: A semantics for complex objects and approximate answers. J.\u00a0Comput. Syst. Sci.\u00a043(1), 170\u2013218 (1991)","journal-title":"J.\u00a0Comput. Syst. Sci."},{"issue":"2","key":"27_CR3","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/319702.319711","volume":"7","author":"P. Buneman","year":"1982","unstructured":"Buneman, P., Frankel, R., Nikhil, R.: An implementation technique for database query languages. ACM Trans. Database Syst.\u00a07(2), 164\u2013186 (1982)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"27_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"Buneman, P., Naqvi, S.A., Tannen, V., Wong, L.: Principles of programming with complex objects and collection types. Theor. Comput. Sci.\u00a0149(1), 3\u201348 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-44543-9_12","volume-title":"Research Issues in Structured and Semistructured Database Programming","author":"P. Buneman","year":"2000","unstructured":"Buneman, P., Pierce, B.: Union types for semistructured data. In: Connor, R., Mendelzon, A. (eds.) DBPL 1999. LNCS, vol.\u00a01949, pp. 184\u2013207. Springer, Heidelberg (2000)"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-61756-6_74","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"S. Kahrs","year":"1996","unstructured":"Kahrs, S.: Limits of ML-definability. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol.\u00a01140, pp. 17\u201331. Springer, Heidelberg (1996)"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/3-540-44904-3_12","volume-title":"Typed Lambda Calculi and Applications","author":"S. Kahrs","year":"2003","unstructured":"Kahrs, S.: Well-going programs can be typed. In: Hofmann, M.O. (ed.) TLCA 2003. LNCS, vol.\u00a02701, pp. 167\u2013179. Springer, Heidelberg (2003)"},{"issue":"1","key":"27_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/227604.227609","volume":"21","author":"A. Ohori","year":"1996","unstructured":"Ohori, A., Buneman, P.: Polymorphism and type inference in database programming. ACM Trans. Database Syst.\u00a021(1), 30\u201376 (1996)","journal-title":"ACM Trans. Database Syst."},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Ohori, A., Buneman, P., Breazu-Tannen, V.: Database programming in Machiavelli\u2014a polymorphic language with static type inference. In: Clifford, J., Lindsay, B., Maier, D. (eds.) Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data. SIGMOD Record, vol.\u00a018(2), pp. 46\u201357. ACM Press (1989)","DOI":"10.1145\/66926.66931"},{"key":"27_CR10","first-page":"113","volume":"174","author":"H. Schwichtenberg","year":"1976","unstructured":"Schwichtenberg, H.: Definierbare funktionen in \u03bb-kalk\u00fcl mit typen. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung\u00a0174, 113\u2013114 (1976)","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Van den Bussche, J., Van Gucht, D., Vansummeren, S.: A crash course on database queries. In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 143\u2013154. ACM (2007)","DOI":"10.1145\/1265530.1265551"},{"issue":"3","key":"27_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.tcs.2006.11.007","volume":"371","author":"J. Bussche Van den","year":"2007","unstructured":"Van den Bussche, J., Van Gucht, D., Vansummeren, S.: Well-definedness and semantic type-checking for the nested relational calculus. Theor. Comput. Sci.\u00a0371(3), 183\u2013199 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"27_CR13","unstructured":"Wong, L.: Querying Nested Collections. PhD thesis, University of Pennsylvania (1994)"}],"container-title":["Lecture Notes in Computer Science","In Search of Elegance in the Theory and Practice of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41660-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T20:08:35Z","timestamp":1578514115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41660-6_27"}},"subtitle":["(Extended Abstract)"],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642416590","9783642416606"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41660-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}