{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:54Z","timestamp":1725765474233},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_3","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"35-50","source":"Crossref","is-referenced-by-count":0,"title":["How to Use Guarded Functional Programming"],"prefix":"10.1007","author":[{"given":"Roland","family":"Dietrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Die funktional logische Programmiersprache Guarded termml: Sprachdefinition","author":"MM Chakravarty","year":"1991","unstructured":"M. M. T. Chakravarty. Die funktional logische Programmiersprache Guarded termml: Sprachdefinition. Technical report, GMD Research Laboratory Karlsruhe, May 1991."},{"key":"3_CR2","volume-title":"Oldenbourg Verlag","author":"R Dietrich","year":"1990","unstructured":"R. Dietrich. Vergleichende Analyse von Inferenzsystemen. GMD-Bericht Nr. 188. R. Oldenbourg Verlag, 1990."},{"key":"3_CR3","unstructured":"R. Dietrich. The PHOENIX case study: EXIS - an environment for experimenting with inference systems. GMD-Studie Nr. 190, April 1991."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"R. Dietrich and H. C. R. Lock. Exploiting non-determinism through laziness in guarded functional languages. In TAPSOFT\u201991, Colloquium on Combining Paradigms for Software Development, Brighton, England, April 1991.","DOI":"10.1007\/3540539816_68"},{"key":"3_CR5","first-page":"1","volume":"2","author":"R Dietrich","year":"1991","unstructured":"R. Dietrich and H. Pull. Case studies in declarative programming. GMD Forschungsstelle Karlsruhe and Imperial College, London, PHOENIX-Deliverable A. 2. 1, March 1991.","journal-title":"Phoenix-deliverable A"},{"key":"3_CR6","first-page":"389","volume-title":"4th IEEE Symposium on Logic Programming, San Francisco","author":"W Drabent","year":"1987","unstructured":"W. Drabent. Do logic programs resemble conventional programs. In 4th IEEE Symposium on Logic Programming, San Francisco, pages 389\u2013397, 1987."},{"key":"3_CR7","unstructured":"Yi-Ke Guo and H. C. R. Lock. A Classification Scheme for Declarative Programming Languages. - Syntax, Semantics, and Operational Models. GMD-Studien Nr. 182, August 1990."},{"key":"3_CR8","unstructured":"Loc88] Hendrik C.R. Lock. Guarded Term ML. In Workshop on Implementations of Lazy. Functional Languages,Aspenas, Sept. 1988. Report 53, PMG, Univ. of Goteborg, Sweden."},{"key":"3_CR9","unstructured":"MMTC91] H. C. R. Lock M. M. T. Chackravarty. The Implementation of Lazy Narrowing. In Programming Language Implementation and Logic Programming (PLILP\u201991), Passau,August 1991. Springer LNCS (to appear)."},{"key":"3_CR10","volume-title":"Springer","author":"NJ Nilsson","year":"1982","unstructured":"N. J. Nilsson. Principles of Artificial Intelligence. Springer, 1982."},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"J. A. Robinson. A machine oriented logic based on the resolution principle. JACM, 12, No. 1: 23\u201341, January 1965.","journal-title":"Jacm"}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T17:21:35Z","timestamp":1558804895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}