{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:28Z","timestamp":1725627628886},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129059"},{"type":"electronic","value":"9783642693939"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69393-9_10","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:19:20Z","timestamp":1320229160000},"page":"144-155","source":"Crossref","is-referenced-by-count":0,"title":["An Environment for High-level Program Development"],"prefix":"10.1007","author":[{"given":"Peter","family":"Grogono","sequence":"first","affiliation":[]},{"given":"V. S.","family":"Alagar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/357162.357170","volume":"4","author":"EA Ashcroft","year":"1982","unstructured":"Ashcroft, E.A., and Wadge, W.W.: R for semantics. ACM Transactions on Programming Languages and Systems, 4, 283\u2013294 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von Neumann Style? A functional style and its algebra of programs. Comm. ACM, 21, 613\u2013641 (1978)","journal-title":"Comm. ACM"},{"key":"10_CR3","volume-title":"Description of the Wide Spectrum Language CIP-L","author":"F Bauer","year":"1983","unstructured":"Bauer, F., et al: Description of the Wide Spectrum Language CIP-L. Institut fur Informatik, Technische Universit\u00e4t M\u00fcnchen, 1983."},{"key":"10_CR4","volume-title":"Recursive Programming Techniques","author":"WH B\u00fcrge","year":"1975","unstructured":"B\u00fcrge, W.H.: Recursive Programming Techniques. Reading, Mass.\u00ee Addison-Wesley 1975"},{"key":"10_CR5","volume-title":"The LISP Conference","author":"RM Burstall","year":"1980","unstructured":"Burstall, R.M., MacQueen, D.B., and Sannella, D.T.: HOPE: An experimental applicative language. Conference Record of the 1980 LISP Conference, pp. 136\u2013143, The LISP Conference 1980"},{"key":"10_CR6","volume-title":"ACM","author":"AJ Demers","year":"1980","unstructured":"Demers, A.J., and Donahue, J.E.: \u2018Type-completeness\u2019 as a language principle. Seventh Symposium on the principles of Programming Languages, pp. 234\u2013244, ACM 1980"},{"key":"10_CR7","volume-title":"New York University","author":"RBK Dewar","year":"1981","unstructured":"Dewar, R.B.K., Schonberg, E., and Schwartz, J.T.: Higher level programming: Introduction to the use of the set theoretic programming language SETL. Courant Institute of Mathematical Sciences, New York University, 1981"},{"key":"10_CR8","volume-title":"IEEE","author":"H Gomaa","year":"1981","unstructured":"Gomaa, H., and Scott, D.B.H.: Prototyping as a tool in the specification of user requirements. Proc. 5th International Conference on Software Engineering, pp. 333\u2013342, IEEE 1981"},{"key":"10_CR9","volume-title":"ACM","author":"M Gordon","year":"1978","unstructured":"Gordon, M., Milner R., Morris, L., Newey M., and Wadsworth, C.: A metalanguage for interactive proof in LCF. Fifth Symposium on the Principles of Programming Languages, pp. 119\u2013130, ACM 1978"},{"unstructured":"Grogono, P., and Alagar, V.S.: Combining type inference and generic functions. In preparation.","key":"10_CR10"},{"key":"10_CR11","volume-title":"Algorithmic Languages","author":"L Meertens","year":"1981","unstructured":"Meertens, L.: Issues in the design of a beginner\u2019s programming language. In: Algorithmic Languages ( J.W. de Bakker and J.C. van Vliet, eds.), Amsterdam-New York-Oxford: North-Holland 1981"},{"key":"10_CR12","first-page":"348","volume":"17","author":"R Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. JCSS, 17, 348\u2013375 (1978)","journal-title":"JCSS"},{"key":"10_CR13","first-page":"269","volume-title":"International Symposium on Programming (B. Robinet, ed.), Lecture Notes in Computer Science, Vol. 83","author":"A Mycroft","year":"1980","unstructured":"Mycroft, A.: The theory and practice of transforming call-by-need into call-by-value. In: International Symposium on Programming (B. Robinet, ed.), Lecture Notes in Computer Science, Vol. 83, pp. 269\u2013281. Berlin-Heidelberg-New York: Springer 1980"},{"key":"10_CR14","volume-title":"MARY\/2 Reference Manual. Penobscot Research Center","author":"M Rain","year":"1980","unstructured":"Rain, M.: MARY\/2 Reference Manual. Penobscot Research Center, Deer Isle, Maine, 1980"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM., 12, 23\u201341 (1965)","journal-title":"J. ACM."},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/356715.356719","volume":"10","author":"E Sandewall","year":"1978","unstructured":"Sandewall, E.: Programming in the interactive environment: the LISP experience. ACM Comp. Surv., 10, 1, 35\u201371, (1978)","journal-title":"ACM Comp. Surv"},{"doi-asserted-by":"crossref","unstructured":"Squires, S.L. (Chmn.): Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop. ACM Software Engineering Notes, 7, (1982)","key":"10_CR17","DOI":"10.1145\/1006258.1006260"},{"key":"10_CR18","volume-title":"ACM","author":"DA Turner","year":"1982","unstructured":"Turner D.A.: Programming with infinite data structures. Conference on LISP and Functional Programming, (invited talk), ACM 1982"},{"key":"10_CR19","volume-title":"ACM","author":"PJ Voda","year":"1982","unstructured":"Voda P.J.: Maple: A programming language and operating system. Ninth Symposium on the Principles of Programming Languages, pp. 157\u2013168, ACM 1982"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69393-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:33:44Z","timestamp":1606257224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69393-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129059","9783642693939"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69393-9_10","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}