{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:52Z","timestamp":1725455992992},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022471","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:24:08Z","timestamp":1132705448000},"page":"203-225","source":"Crossref","is-referenced-by-count":6,"title":["An approach to fair applicative multiprogramming"],"prefix":"10.1007","author":[{"given":"Daniel P.","family":"Friedman","sequence":"first","affiliation":[]},{"given":"David S.","family":"Wise","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"257","volume-title":"Automata, Languages and Programming","author":"D.P. Friedman","year":"1976","unstructured":"D.P. Friedman and D.S. Wise. CONS should not evaluate its arguments. In Automata, Languages and Programming, S. Michaelson and R. Milner (eds.), Edinburgh, Edinburgh University Press (1976), 257\u2013284."},{"key":"12_CR2","volume-title":"Applicative multiprogramming. Technical Rept. No. 72","author":"D.P. Friedman","year":"1978","unstructured":"D.P. Friedman and D.S. Wise. Applicative multiprogramming. Technical Rept. No. 72, Computer Science Dept., Indiana University (December, 1978)."},{"key":"12_CR3","first-page":"578","volume-title":"Proc. 16th Allerton Conf. on Communication, Control, and Computing","author":"D.P. Friedman","year":"1978","unstructured":"D.P. Friedman and D.S. Wise. A conditional, interlock-free store instruction. Preliminary version in M.P. Pursley and J.B. Cruz, Jr. (eds.), Proc. 16th Allerton Conf. on Communication, Control, and Computing, Univ. of Ill., Urbana (1978), 578\u2013584."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"P. Henderson and J.H. Morris, Jr. A lazy evaluator. Proc. 3rd ACM Symp. on Principles of Programming Languages (1976), 95\u2013103.","DOI":"10.1145\/800168.811543"},{"issue":"7","key":"12_CR5","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks, and the ordering of events in a distributed system. Comm. ACM 21, 7 (July, 1978), 558\u2013565.","journal-title":"Comm. ACM"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy. A basis for a mathematical theory of computation. In Computer Programming and Formal Systems, P. Braffort and D. Hirschberg (eds.), Amsterdam, North-Holland (1963), 33\u201370."},{"key":"12_CR7","first-page":"418","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna. Mathematical Theory of Computation, New York, McGraw-Hill (1974), 418."},{"issue":"3","key":"12_CR8","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1016\/S0022-0000(74)80048-6","volume":"9","author":"J. Vuillemin","year":"1974","unstructured":"J. Vuillemin. Correct and optimal implementation of recursion in a simple programming language. J. Comp. Sys. Sci. 9, 3 (June, 1974), 332\u2013354.","journal-title":"J. Comp. Sys. Sci."},{"key":"12_CR9","volume-title":"Semantics and Pragmatics of Lambda-calculus","author":"C. Wadsworth","year":"1971","unstructured":"C. Wadsworth. Semantics and Pragmatics of Lambda-calculus, Ph.D. dissertation, Oxford (1971)."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022471.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:48:35Z","timestamp":1607532515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022471"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0022471","relation":{},"subject":[]}}