{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:28:09Z","timestamp":1725550089760},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119989"},{"type":"electronic","value":"9783642119996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11999-6_9","type":"book-chapter","created":{"date-parts":[[2010,3,16]],"date-time":"2010-03-16T04:52:29Z","timestamp":1268715149000},"page":"128-144","source":"Crossref","is-referenced-by-count":7,"title":["New Results on Type Systems for Functional Logic Programming"],"prefix":"10.1007","author":[{"given":"Francisco J.","family":"L\u00f3pez-Fraguas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrique","family":"Martin-Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Rodr\u00edguez-Hortal\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/10705424_22","volume-title":"Functional and Logic Programming","author":"S. Antoy","year":"1999","unstructured":"Antoy, S., Tolmach, A.P.: Typed higher-order narrowing without higher-order strategies. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 335\u2013353. Springer, Heidelberg (1999)"},{"key":"9_CR2","unstructured":"Brassel, B.: Two to three ways to write an unsafe type cast without importing unsafe - Post to the Curry mailing list (May 2008), http:\/\/www.informatik.uni-kiel.de\/~curry\/listarchive\/0705.html"},{"key":"9_CR3","unstructured":"Damas, L.: Type Assignment in Programming Languages. PhD thesis, University of Edinburgh (April 1985)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Proc. Symposium on Principles of Programming Languages (POPL 1982), pp. 207\u2013212 (1982)","DOI":"10.1145\/582153.582176"},{"key":"9_CR5","first-page":"153","volume-title":"Proc. International Conference on Logic Programming (ICLP 1997)","author":"J. Gonz\u00e1lez-Moreno","year":"1997","unstructured":"Gonz\u00e1lez-Moreno, J., Hortal\u00e1-Gonz\u00e1lez, T., Rodr\u00edguez-Artalejo, M.: A higher order rewriting logic for functional logic programming. In: Proc. International Conference on Logic Programming (ICLP 1997), pp. 153\u2013167. MIT Press, Cambridge (1997)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Moreno, J., Hortal\u00e1-Gonz\u00e1lez, T., Rodr\u00edguez-Artalejo, M.: Polymorphic types in functional logic programming. Journal of Functional and Logic Programming\u00a02001\/S01, 1\u201371 (2001)","DOI":"10.1007\/10705424_1"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-540-74610-2_5","volume-title":"Logic Programming","author":"M. Hanus","year":"2007","unstructured":"Hanus, M.: Multi-paradigm declarative languages. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 45\u201375. Springer, Heidelberg (2007)"},{"key":"9_CR8","unstructured":"Hanus, M. (ed.): Curry: An integrated functional logic language (version 0.8.2) (March 2006), http:\/\/www.informatik.uni-kiel.de\/~curry\/report.html"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1159803.1159811","volume-title":"Proc. 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006","author":"S.L.P. Jones","year":"2006","unstructured":"Jones, S.L.P., Vytiniotis, D., Weirich, S., Washburn, G.: Simple unification-based type inference for gadts. In: Proc. 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, pp. 50\u201361. ACM, New York (2006)"},{"issue":"2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/169701.169687","volume":"15","author":"A.J. Kfoury","year":"1993","unstructured":"Kfoury, A.J., Tiuryn, J., Urzyczyn, P.: Type reconstruction in the presence of polymorphic recursion. ACM Trans. Program. Lang. Syst.\u00a015(2), 290\u2013311 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-78969-7_12","volume-title":"Functional and Logic Programming","author":"F.J. L\u00f3pez-Fraguas","year":"2008","unstructured":"L\u00f3pez-Fraguas, F.J., Rodr\u00edguez-Hortal\u00e1, J., S\u00e1nchez-Hern\u00e1ndez, J.: Rewriting and call-time choice: the HO case. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol.\u00a04989, pp. 147\u2013162. Springer, Heidelberg (2008)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Fraguas, F., S\u00e1nchez-Hern\u00e1ndez, J.: $\\mathcal{TOY}$ : A multiparadigm declarative system. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol.\u00a01631, pp. 244\u2013247. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48685-2_19"},{"key":"9_CR13","unstructured":"Martin-Martin, E.: Advances in type systems for functional-logic programming. Master\u2019s thesis, Universidad Complutense de Madrid (July 2009), http:\/\/gpd.sip.ucm.es\/enrique\/publications\/master\/masterThesis.pdf"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J.C. Mitchell","year":"1988","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. ACM Trans. Program. Lang. Syst.\u00a010(3), 470\u2013502 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR15","unstructured":"Moreno-Navarro, J.J., Mari\u00f1o, J., del Pozo-Pietro, A., Herranz-Nieva, \u00c1., Garc\u00eda-Mart\u00edn, J.: Adding type classes to functional-logic languages. In: 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 1996, pp. 427\u2013438 (1996)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-12925-1_41","volume-title":"International Symposium on Programming","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A.: Polymorphic type schemes and recursive definitions. In: Paul, M., Robinet, B. (eds.) Programming 1984. LNCS, vol.\u00a0167, pp. 217\u2013228. Springer, Heidelberg (1984)"},{"key":"9_CR17","volume-title":"The Implementation of Functional Programming Languages","author":"S. Peyton Jones","year":"1987","unstructured":"Peyton Jones, S.: The Implementation of Functional Programming Languages. Prentice-Hall, Englewood Cliffs (1987)"},{"key":"9_CR18","volume-title":"Advanced topics in types and programming languages","author":"B.P. Pierce","year":"2005","unstructured":"Pierce, B.P.: Advanced topics in types and programming languages. MIT Press, Cambridge (2005)"},{"key":"9_CR19","volume-title":"Elements of Functional Programming","author":"C. Reade","year":"1989","unstructured":"Reade, C.: Elements of Functional Programming. Addison-Wesley, Reading (1989)"},{"key":"9_CR20","first-page":"205","volume-title":"Algorithms in C++, Part 5: Graph Algorithms","author":"R. Sedgewick","year":"2002","unstructured":"Sedgewick, R.: Algorithms in C++, Part 5: Graph Algorithms, pp. 205\u2013216. Addison-Wesley Professional, Reading (2002)"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11999-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:46:17Z","timestamp":1606185977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11999-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119989","9783642119996"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11999-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}