{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:53Z","timestamp":1725662933418},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:05:02Z","timestamp":1330175102000},"page":"69-85","source":"Crossref","is-referenced-by-count":1,"title":["Understanding Russell a first attempt"],"prefix":"10.1007","author":[{"given":"James G.","family":"Hook","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","unstructured":"Boehm, H., A. Demers and J. Donahue. An Informal Description of Russell. Technical Report. Computer Science Department. Cornell University, 1980."},{"key":"3_CR2","unstructured":"Boehm, H. A logic for the Russell Programming Language. Ph.D. Thesis. Cornell University, 1983. [To appear as a University of Washington technical report.]"},{"key":"3_CR3","unstructured":"Burstall, R., B. Lampson, this volume."},{"key":"3_CR4","unstructured":"de Bruign, N. G., A Survey of the Project AUTOMATH. Essays on Combinatory Logic, Lambda Calculus and Formalism. ed. Hindly, J. R. and J. P. Seldin, Academic Press, 1980, pp 589\u2013606."},{"key":"3_CR5","unstructured":"Constable, R. L. and J. L. Bates, The Nearly Ultimate PRL. Technical Report, Cornell University, TR-83-551, January 84."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Constable, R. L. and D. R. Zlatin. The Type Theory of PL\/CV3, TOPLAS 6, i, January 1984, pp. 94\u2013112. [First appeared as a Cornell University technical report in 1979.]","DOI":"10.1145\/357233.357238"},{"key":"3_CR7","unstructured":"Curry, H. B., Combinatory Logic Voll II., North Holland, 1971."},{"key":"3_CR8","unstructured":"Demers, A. and J. Donahue. The Semantics of Russell: An Exercise in Abstract Data Types. Technical Report. Computer Science Department, Cornell University, 1980."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Demers, A. and J. Donahue. Making Variables Abstract: an Equational Theory for Russell, Proceedings Tenth Annual Principles of Programming Languages Symposium, 1983.","DOI":"10.1145\/567067.567075"},{"issue":"4","key":"3_CR10","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1137\/0208044","volume":"8","author":"J. Donahue","year":"1979","unstructured":"Donahue, J. On the Semantics of \"Data Type.\" SIAM J. Computing 8: 4 (November 1979), pp. 546\u2013560.","journal-title":"SIAM J. Computing"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Gordon, M. H., R. Milner. C. P. Wadsworth. Edinburgh LCF. Springer Verlag LNCS. Vol. 78, 1979. Chapter 2.","DOI":"10.1007\/3-540-09724-4"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"MacQueen, D., R. Sethi. A semantic model of Types for Applicative Languages. Proceedings 1982 ACM Symposium on Lisp and Functional Programming, 1982, pp 243\u2013252.","DOI":"10.1145\/800068.802156"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"MacQueen, D., G. Plotkin, R. Sethi. An Ideal Model for Recursive Polymorphic Types. Proceedings Eleventh Annual Principles of Programming Languages Symposum, 1984.","DOI":"10.1145\/800017.800528"},{"key":"3_CR14","volume-title":"6th International Congress for Logic, Method and Phil. of Science","author":"P. Martin-L\u00f6f","year":"1982","unstructured":"Martin-L\u00f6f, P. \"Constructive Logic and Computer Programming\", 6th International Congress for Logic, Method and Phil. of Science, North-Holland, Amsterdam, 1982."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Milner, R. A Proposal for Standard ML. Draft. November 1983. Polymorphism. No. 3, Jan 1984.","DOI":"10.1145\/800055.802035"},{"key":"3_CR16","unstructured":"Plotkin, G. D., A Structural Approach to Operational Semantics. Technical Report. Computer Science Department. Aarhus University, 1981."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Plotkin, G. D., An Operational Semantics for CSP. Technical Report, Department of Computer Science, University of Edinburgh. 1982.","DOI":"10.1007\/3-540-11981-7_17"},{"key":"3_CR18","unstructured":"Plotkin, G. D., Post-graduate course notes. Department of Computer Science, University of Edinburgh, 1983."},{"key":"3_CR19","first-page":"513","volume-title":"Types, Abstraction and Parametric Polymorphism, IFIP 83","author":"J. C. Reynolds","year":"1983","unstructured":"Reynolds, J. C., Types, Abstraction and Parametric Polymorphism, IFIP 83, Elsevier Science Publishers B.V. (North-Holland), 1983, pp. 513\u2013523."},{"key":"3_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-2913-1","volume-title":"Combinators. Lambda Terms and Proof Theory","author":"S. Stenlund","year":"1972","unstructured":"Stenlund, S. Combinators. Lambda Terms and Proof Theory. D. Reidel, Dordrecht, 1972."}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:07:25Z","timestamp":1605625645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}