{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:33Z","timestamp":1725663033750},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183174"},{"type":"electronic","value":"9783540478799"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18317-5_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:33:14Z","timestamp":1330180394000},"page":"46-59","source":"Crossref","is-referenced-by-count":5,"title":["The G-machine as a representation of stack semantics"],"prefix":"10.1007","author":[{"given":"David","family":"Lester","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"4_CR1","volume-title":"Compiling Lazy Functional Languages","author":"T. Johnsson","year":"1987","unstructured":"Thomas Johnsson. Compiling Lazy Functional Languages. PhD thesis, Chalmers Tekniska H\u00f6gskola, G\u00f6teborg, Sweden, January 1987."},{"key":"4_CR2","volume-title":"Proceedings of the Workshop on Declarative Programming","author":"T. Johnsson","year":"1983","unstructured":"Thomas Johnsson. The G-machine. In Proceedings of the Workshop on Declarative Programming, University College, London, April 1983."},{"key":"4_CR3","unstructured":"David Lester. A congruence proof for graph reduction. 1987. Unpublished."},{"key":"4_CR4","volume-title":"A Theory of Programming Language Semantics","author":"R. E. Milne","year":"1976","unstructured":"R.E. Milne and C. Strachey. A Theory of Programming Language Semantics. Chapman and Hall, London, 1976."},{"issue":"3","key":"4_CR5","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17(3):348\u2013375, December 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR6","volume-title":"The Implementation of Functional Languages","author":"S. P. Jones","year":"1987","unstructured":"Simon Peyton Jones. The Implementation of Functional Languages. Prentice Hall, Englewood Cliffs, NJ, USA, 1987."},{"key":"4_CR7","first-page":"220","volume-title":"Distributed Computing Systems Programme, chapter 14","author":"Simon L. L. Peyto P. Jones","year":"1984","unstructured":"Simon L. Peyton Jones. Directions in functional programming research. In David A. Duce, editor, Distributed Computing Systems Programme, chapter 14, pages 220\u2013249, Peter Peregrinus Ltd., London, UK., 1984."},{"key":"4_CR8","unstructured":"Joseph E. Stoy. The congruence of two programming language definitions. No. 4343."},{"key":"4_CR9","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Series in Computer Science","author":"Joseph E. E. Stoy","year":"1977","unstructured":"Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Series in Computer Science, The MIT Press, Cambridge, Massachusetts, 1977."},{"key":"4_CR10","unstructured":"Joseph E. Stoy. Some Mathematical Aspects of Functional Programming. Lecture Notes, University of Newcastle upon Tyne, July 1981."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"W.R. Stoye, T.J.W. Clarke, and A.C. Norman. Some practical methods for rapid combinator reduction. In Proceedings of the A.C.M. Symposium on Lisp and Functional Languages, Austin, August 1984.","DOI":"10.1145\/800055.802032"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18317-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:14:56Z","timestamp":1619543696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}