{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T23:05:12Z","timestamp":1779836712737,"version":"3.53.1"},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:00:00Z","timestamp":1226016000000},"content-version":"unspecified","delay-in-days":5789,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[1993,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The functional programming language Miranda has been used as a first programming language at the University of NSW since the beginning of 1989, when a new computer engineering course and a revised computer science course were introduced. This paper explains the reasons for choosing the language, and describes the subject in which Miranda is introduced. Examples of the presentation of the material, and of exercises and assignment used in the course, are given. Finally, an assessment of the experience is given.<\/jats:p>","DOI":"10.1017\/s0956796800000575","type":"journal-article","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T11:13:51Z","timestamp":1226056431000},"page":"5-34","source":"Crossref","is-referenced-by-count":9,"title":["Using Miranda as a first programming language"],"prefix":"10.1017","volume":"3","author":[{"given":"Tim","family":"Lambert","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Lindsay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ken","family":"Robinson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2008,11,7]]},"reference":[{"key":"S0956796800000575_ref009","doi-asserted-by":"publisher","DOI":"10.1145\/70593.70603"},{"key":"S0956796800000575_ref002","unstructured":"Carrington D. A. , Robinson K. A. and Whale G. 1984. Give: A system for collecting and testing student assignments. In Proc. 7th Australian Computer Science Conf."},{"key":"S0956796800000575_ref006","doi-asserted-by":"publisher","DOI":"10.1145\/31726.31749"},{"key":"S0956796800000575_ref010","unstructured":"Whale G. 1991. Paperless assignment marking. In Proc. 14th Australian Computer Science Conf."},{"key":"S0956796800000575_ref004","unstructured":"ISO. 1985. Information processing systems - computer graphics - graphical kernel system (GKS) functional description. ISO 7942."},{"key":"S0956796800000575_ref003","doi-asserted-by":"publisher","DOI":"10.1145\/52965.53029"},{"key":"S0956796800000575_ref005","volume-title":"6.711 Computing 1A Programming Strand: Lecture Notes","author":"Lambert","year":"1990"},{"key":"S0956796800000575_ref007","first-page":"615","article-title":"Communicating Processes in Pure Functional Language","volume":"14","author":"Olszewski","year":"1992","journal-title":"Australian Computer Science Communications"},{"key":"S0956796800000575_ref001","volume-title":"Introduction to functional programming","author":"Bird","year":"1988"},{"key":"S0956796800000575_ref008","volume-title":"Mindstorms: Children, Computers and Powerful Ideas","author":"Papert","year":"1980"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796800000575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T22:35:13Z","timestamp":1779834913000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796800000575\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["S0956796800000575"],"URL":"https:\/\/doi.org\/10.1017\/s0956796800000575","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}