{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T09:19:42Z","timestamp":1672391982992},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGCSE Bull."],"published-print":{"date-parts":[[1991,9]]},"abstract":"A course on functional programming using Hope is presented. It describes the basic principles of functional programming, the syntax and semantics of Hope, and some techniques for the analysis and design of programs. A main feature of the course is the integration in a natural way of formal methods and reusability with programming.<\/jats:p>","DOI":"10.1145\/126459.126464","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T22:43:36Z","timestamp":1090449816000},"page":"11-16","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Fun, rigour and pragmatism in functional programming"],"prefix":"10.1145","volume":"23","author":[{"given":"Angel","family":"S\u00e1nchez-Calle","sequence":"first","affiliation":[{"name":"Dpto. de Lenguajes y Sistemas Informaticos e Ingenieria de Software, Facultad de Informatica, Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain"}]},{"given":"J. Angel","family":"Vel\u00e1zquez-Iturbide","sequence":"additional","affiliation":[{"name":"Dpto. de Lenguajes y Sistemas Informaticos e Ingenieria de Software, Facultad de Informatica, Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[1991,9]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Structure and interpretation of computer programs","author":"Abelson H.","year":"1985","unstructured":"{1} H. Abelson and G. J. Sussman , Structure and interpretation of computer programs , MIT Press , Cambridge, Massachussetts , 1985 . {1} H. Abelson and G. J. Sussman, Structure and interpretation of computer programs, MIT Press, Cambridge, Massachussetts, 1985."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/77481.77482"},{"key":"e_1_2_1_3_1","unstructured":"{3} R. Bailey \"A Hope tutorial\" Byte August 85 pp. 235-258. {3} R. Bailey \"A Hope tutorial\" Byte August 85 pp. 235-258."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/321864.321875"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/800087.802799"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/31820.31753"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/63238.63239"},{"key":"e_1_2_1_9_1","volume-title":"Functional Programming","author":"Field A. J.","year":"1988","unstructured":"{9} A. J. Field and P. G. Harrison , Functional Programming , Addison-Wesley , 1988 . {9} A. J. Field and P. G. Harrison, Functional Programming, Addison-Wesley, 1988."},{"key":"e_1_2_1_10_1","volume-title":"Functional Programming: Application and Implementation","author":"Henderson P.","year":"1980","unstructured":"{10} P. Henderson , Functional Programming: Application and Implementation , Prentice-Hall , 1980 . {10} P. Henderson, Functional Programming: Application and Implementation, Prentice-Hall, 1980."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/65293.71190"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/65294.71220"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/29873.30399"},{"key":"e_1_2_1_14_1","volume-title":"The logical basis for computer programming, vols. 1 and 2","author":"Manna Z.","year":"1985","unstructured":"{14} Z. Manna and R. Waldinger , The logical basis for computer programming, vols. 1 and 2 , Addison-Wesley , Reading, Massachusetts , 1985 and 1990. {14} Z. Manna and R. Waldinger, The logical basis for computer programming, vols. 1 and 2, Addison-Wesley, Reading, Massachusetts, 1985 and 1990."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/323410.319071"},{"key":"e_1_2_1_16_1","volume-title":"Elements of Functional Programming","author":"Reade C.","year":"1989","unstructured":"{16} C. Reade , Elements of Functional Programming , Addison-Wesley , Reading, Massachusets , 1989 . {16} C. Reade, Elements of Functional Programming , Addison-Wesley, Reading, Massachusets, 1989."}],"container-title":["ACM SIGCSE Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/126459.126464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T21:01:45Z","timestamp":1672261305000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/126459.126464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,9]]}},"alternative-id":["10.1145\/126459.126464"],"URL":"https:\/\/doi.org\/10.1145\/126459.126464","relation":{},"ISSN":["0097-8418"],"issn-type":[{"value":"0097-8418","type":"print"}],"subject":[],"published":{"date-parts":[[1991,9]]},"assertion":[{"value":"1991-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}