{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:46Z","timestamp":1725663406351},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540509394"},{"type":"electronic","value":"9783540461166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50939-9_121","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:34:34Z","timestamp":1330202074000},"page":"1-18","source":"Crossref","is-referenced-by-count":5,"title":["The varieties of programming language"],"prefix":"10.1007","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"1_CR1","unstructured":"G. Cousineau, P.L. Curien, M. Mauny. The Categorial Abstract Machine in Functional Languages and Computer Architecture. LNM 201 Springer-Verlag."},{"key":"1_CR2","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice Hall. (1976)."},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/TC.1978.1675100","volume":"C-27","author":"D.P. Friedman","year":"1978","unstructured":"D.P. Friedman and D.S. Wise. Aspects of Applicative Programming for Parallel Processing. IEEE Trans. Comp. C-27 (1978) 289\u2013296.","journal-title":"IEEE Trans. Comp."},{"key":"1_CR4","unstructured":"C.A.R. Hoare and He, Jifeng. Natural Transformations and Data Refinement. Information Processing Letters (to appear)."},{"key":"1_CR5","unstructured":"C.A.R. Hoare and He, Jifeng. Two-categorical Semantics for Programming Languages. (In preparation)."},{"key":"1_CR6","unstructured":"C.A.R. Hoare and He, Jifeng. Data Refinement in a Categorical Setting. (In preparation)."},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1137\/0205037","volume":"5","author":"D.S. Scott","year":"1976","unstructured":"D.S. Scott. Data Types as Lattices. SIAM Journal of Computing 5 (1976) 552\u2013587.","journal-title":"SIAM Journal of Computing"},{"key":"1_CR8","unstructured":"C. Strachey. The varieties of Programming Language. PRG-10. (1973)."},{"key":"1_CR9","first-page":"1","volume":"201","author":"D.A. Turner","year":"1885","unstructured":"D.A. Turner. Miranda, a non-strict Functional Language with Polymorphic Types. Lecture Notes in Computer Science 201 (1885) 1\u201316.","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"1_CR10","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0304-3975(79)90053-7","volume":"8","author":"M Wand","year":"1979","unstructured":"M Wand. Fixed-Point Constructions in Order-Enriched Categories. THEOR. COM. 8(1) 13\u201330 (1979).","journal-title":"THEOR. COM."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50939-9_121.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:57:29Z","timestamp":1619571449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50939-9_121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540509394","9783540461166"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-50939-9_121","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}