{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:02:12Z","timestamp":1649145732264},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,4,1]],"date-time":"1992-04-01T00:00:00Z","timestamp":702086400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,4]]},"DOI":"10.1007\/bf03037479","type":"journal-article","created":{"date-parts":[[2009,4,23]],"date-time":"2009-04-23T23:05:32Z","timestamp":1240527932000},"page":"197-221","source":"Crossref","is-referenced-by-count":3,"title":["A typed functional extension of logic programming"],"prefix":"10.1007","volume":"10","author":[{"given":"D. W.","family":"Shin","sequence":"first","affiliation":[]},{"given":"J. H.","family":"Nang","sequence":"additional","affiliation":[]},{"given":"S. R.","family":"Maeng","sequence":"additional","affiliation":[]},{"given":"J. W.","family":"Cho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037479_CR1","unstructured":"Barbuti, R., Bellia, M., Levi, G., and Martelli, M., \u201cLEAF: A language which integrates logic, equations and functions,\u201dLOGIC PROGRAMMING Functions, and Equations, and Equations (D. DeGroot and G. Lindstrom, eds.), Prentice-Hall, pp. 201\u2013238, 1986."},{"key":"BF03037479_CR2","unstructured":"Bosco, P. G. and Giovannetti, E., \u201cIDEAL: An ideal deductive applicative language,\u201d inProc. of 1986 Symposium on Logic Programming, pp. 89\u201395, 1986."},{"key":"BF03037479_CR3","unstructured":"Bosco, P. G. Cecchi, C., and Moiso, C., \u201cAn extension of WAM for K-LEAK: A WAM-based compilation of conditional narrowing,\u201d inProc. of Sixth International Conference on Logic Programming, pp. 318\u2013336, 1989."},{"key":"BF03037479_CR4","doi-asserted-by":"crossref","unstructured":"Burstall, R. M., MacQueen, D. B., and Sannella, D. T., \u201cHOPE: An experimental applicative language,\u201d inProc. of 1980 LISP Conference, pp. 136\u2013144, 1980.","DOI":"10.1145\/800087.802799"},{"issue":"4","key":"BF03037479_CR5","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L. and Wegner, P., \u201cOn understanding types, data abstraction, and polymorphism,\u201dComputing Survey, 17, 4, pp. 471\u2013522, 1985.","journal-title":"Computing Survey"},{"key":"BF03037479_CR6","unstructured":"Darlington, J., Field, A. J., and Pull, H., \u201cThe unification of functional and logic language,\u201d inLOGIC PROGRAMMING Functions, Relations, and Equations (D. DeGroot and G. Lindstrom, eds.), Prentice-Hall, pp. 37\u201372, 1986."},{"key":"BF03037479_CR7","unstructured":"Dershowitz, N. and Plaisted, D. A., \u201cLogic programming cum applicative programming,\u201d inProc. of the 1985 International Symposium on Logic Programming, pp. 54\u201366, 1985."},{"key":"BF03037479_CR8","doi-asserted-by":"crossref","unstructured":"Dietrich, R. and Hagl. F., \u201cA polymorphic type system with subtypes for Prolog,\u201d inProc. of the Second European Symposium on Programming, pp. 79\u201393, 1988.","DOI":"10.1007\/3-540-19027-9_6"},{"key":"BF03037479_CR9","unstructured":"Gabriel, J., Lindholm, T. G., Lusk, E. L., and Overbeek, R. A., \u201cA tutorial on the Warren abstract machine for computational logic,\u201dReseach Paper, ANL-84-84, Argonne National Laboratory, 1985."},{"key":"BF03037479_CR10","unstructured":"Goguen, J. A., Meseguer, J., and Plaisted, D. \u201cProgramming with parametrized abstract objects in OBJ,\u201d in,Theory and Practice of Software Technology (D. Ferriri, M. Bolognani, and J. Goguen, eds.), North-Holland, pp. 163\u2013193, 1983."},{"issue":"2","key":"BF03037479_CR11","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"1","author":"J. A. Goguen","year":"1984","unstructured":"Goguen, J. A. and Meseguer, J., \u201cEquality, types, modules, and (why not?) generics for logic programming,\u201dJournal of Logic Programming, 1, 2, pp. 179\u2013210, 1984.","journal-title":"Journal of Logic Programming"},{"key":"BF03037479_CR12","unstructured":"Hanus, M., \u201cHorn Clause Specifications with Polymorphic Types,\u201dPh. D. thesis, Fachbereich Informatik, Universitat Dortmund, 1989."},{"key":"BF03037479_CR13","unstructured":"Harper, R., \u201cIntroduction to standard ML,\u201dLFCS Technical Report, ECS-LFCS-86-14, Department of Computer Science, University of Edinburgh 1986."},{"key":"BF03037479_CR14","doi-asserted-by":"crossref","unstructured":"Huet, G. and Oppen, D., Equations and rewrite rules a survey,\u201din Formal Language Theory: Perspecitives and Open Problems, Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"BF03037479_CR15","doi-asserted-by":"crossref","unstructured":"Hullot, J. M., \u201cCanonical forms and unification,\u201d inProc. of 5th Conference on Automated Deduction, Lecture Notes in Computer Science, 87, pp 318\u2013334, 1980.","DOI":"10.21236\/ADA087640"},{"key":"BF03037479_CR16","unstructured":"Jaffar, J., Lassez, J. L., and Maher, J., \u201cA Logic programming language scheme,\u201d inLOGIC PROGRAMMING Functions, Relations, and Equations (D. DeGroot and G. Lindstrom, eds.), Prentice-Hall, pp. 441\u2013468, 1986."},{"key":"BF03037479_CR17","unstructured":"Nadathur G. and Miller D., \u201cA overview of \u03bbProlog,\u201dMS-CIC-88-40, University of Pennsylvania, Department of Computer and Information Science, 1988."},{"issue":"1","key":"BF03037479_CR18","first-page":"62","volume":"17","author":"J. H. Nang","year":"1990","unstructured":"Nang, J. H., Shin, D. W., Maeng S. R., and Cho, J. W., \u201cDesign and performance evaluation of a sequential abstract machine for functional logic languages,\u201dJournal of The Korea Information Science Society, 17, 1, pp. 62\u201373, 1990.","journal-title":"Journal of The Korea Information Science Society"},{"key":"BF03037479_CR19","unstructured":"Levi, G., Palamidessi, C., Bosco, P. G., Giovannetti, E., and Moiso, C., \u201cA completeness semantic characterization of K-leaf: A logic language with partial functions,\u201d inProc. of 1987 Symposium on Logic Programming, San Francisco, pp. 318\u2013327, 1987."},{"key":"BF03037479_CR20","doi-asserted-by":"crossref","unstructured":"Lloyd J. W.,Foundation of Logic Programming, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"BF03037479_CR21","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R., \u201cA theory of type polymorphism in programming,\u201dJournal of Computer and System Science, 17, pp. 348\u2013375, 1978.","journal-title":"Journal of Computer and System Science"},{"key":"BF03037479_CR22","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A. and O\u2019keefe, R. A., \u201cA Polymorphic type system for Prolog,\u201dArtificial Intelligence, 23, pp. 295\u2013307, 1984.","journal-title":"Artificial Intelligence"},{"key":"BF03037479_CR23","unstructured":"Robinson, J. A. and Sibert E. E., \u201cLOGLISP: motivation, design and implementation,\u201d inLogic Programming (K. L. Clark and S.-A. Tarlund, eds.), Academic Press, pp. 299\u2013313, 1982."},{"key":"BF03037479_CR24","unstructured":"Shapiro, E. Y., \u201cA Subset of concurrent Prolog and its interpreter,\u201dICOT Technical Repert, TR-003, 1983."},{"key":"BF03037479_CR25","unstructured":"Shin, D. W., Nang, J. H., Han, S., and Maeng, S. R., \u201cA functional logic language based on canonical unification,\u201d inProc. of the 4th International Symposium on Logic Programming, pp. 328\u2013334, 1987."},{"key":"BF03037479_CR26","unstructured":"Shin, D. W., Nang, J. H., Maeng, S. R., and Cho, J. W., \u201cThe semantics of a functional logic language with input mode,\u201d inProc of the International Conference on 5th Generation Computer Systems 1988, pp. 327\u2013336, 1988."},{"key":"BF03037479_CR27","unstructured":"Shin, D. W., \u201cA typed functional logic language: semantics and implementation,\u201dPh. D. thesis, Department of Computer Science, KAIST 1990."},{"key":"BF03037479_CR28","unstructured":"Subrahmanyam, P. A. and You, J. H., \u201cFUNLOG: A computational model integrating logic programming and functional programming,\u201d inLOGIC PROGRAMMING: Functions, Relations, and Equations (D. DeGroot and G. Lindstrom, eds.), Prentice-Hall, pp. 157\u2013200, 1986."},{"key":"BF03037479_CR29","unstructured":"Zachary, J. L., \u201cA framework for incorporating abstraction mechanisms into the logic programming paradigm,\u201dPh. D. thesis, Laboratory for Computer Science, MIT, 1987."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037479.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037479\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:38Z","timestamp":1558558358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,4]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,4]]}},"alternative-id":["BF03037479"],"URL":"https:\/\/doi.org\/10.1007\/bf03037479","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,4]]}}}