{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:13Z","timestamp":1725664513358},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620341"},{"type":"electronic","value":"9783540496311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62034-6_62","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:32:20Z","timestamp":1330295540000},"page":"347-358","source":"Crossref","is-referenced-by-count":1,"title":["Correcting type errors in the Curry System"],"prefix":"10.1007","author":[{"given":"Milind","family":"Gandhe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Venkatesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amitabha","family":"Sanyal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"30_CR1","volume-title":"Paths in the lambda calculus \u2014 Three years of communications without understanding","author":"A. Asperti","year":"1994","unstructured":"Andrea Asperti, Vincent Danos, Cosimo Laneve, and Laurent Regnier. Paths in the lambda calculus \u2014 Three years of communications without understanding. In Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, Washington, 1994. IEEE Computer Society Press."},{"key":"30_CR2","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/176454.176460","volume":"2","author":"M. Beaven","year":"1993","unstructured":"M. Beaven and R. Stanisfer. Explaining type errors in polymorphic languages. ACM Letters on Programming Languages and Systems, 2:17\u201330, 1993.","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"30_CR3","first-page":"216","volume-title":"Implementations of Prolog","author":"P. T. Cox","year":"1984","unstructured":"P. T. Cox. Finding backtrack points for intelligent backtracking. In J. A. Campbell, editor, Implementations of Prolog, pages 216\u2013233. Ellis Horwood, Chichester, 1984."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"J. Y. Girard. Linear logic. Theoretical Computer Science, 50, 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Georges Gonthier, Martin Abadi, and Jean-Jacques L\u00e9vy. The geometry of optimal lambda reductions. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, ACM Press, January 1992.","DOI":"10.1145\/143165.143172"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"J. Lamping. An algorithm for optimal lambda calculus reductions. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, ACM Press, January 1990.","DOI":"10.1145\/96709.96711"},{"key":"30_CR7","unstructured":"J. W. Lloyd. Logic Programming. Springer Verlag, 1984."},{"key":"30_CR8","unstructured":"Ian Craig Mackie. The Geometry of Implementation (Applications of the Geometry of Interactions to Language Implementation). PhD thesis, University of London, September 1994."},{"key":"30_CR9","unstructured":"Robin Milner and Mads Tofte and Robert Harper The Definition of Standard ML. The MIT Press, 1990."},{"key":"30_CR10","first-page":"365","volume-title":"Formal Models and Semantics: Handbook of Theoretical Computer Science, volume B","author":"J. C. Mitchell","year":"1990","unstructured":"J. C. Mitchell. Type systems for programming languages. In Jan van Leeuwen, editor, Formal Models and Semantics: Handbook of Theoretical Computer Science, volume B, chapter 8, pages 365\u2013458. Elsevier, Amsterdam, 1990."},{"key":"30_CR11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of Association of Computing Machinery, 12:23\u201341, 1965.","journal-title":"Journal of Association of Computing Machinery"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"M. Wand. Finding sources of type errors. In Proceedings of the 13th ACM Conference on Principles of Programming Languages, pages 38\u201343. ACM Press, Jan 1986.","DOI":"10.1145\/512644.512648"},{"key":"30_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.3233\/FI-1987-10202","volume":"10","author":"M. Wand","year":"1987","unstructured":"Mitchell Wand. A simple algorithm and proof for type inference. Fundamenta Informaticae, 10:115\u2013122, 1987.","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62034-6_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:08:46Z","timestamp":1640948926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62034-6_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620341","9783540496311"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-62034-6_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}