skip to main content
article
Free Access

Teaching some modern functional programming concepts: an approach based on an extended FP-like language

Authors Info & Claims
Published:01 November 1991Publication History
Skip Abstract Section

Abstract

In this paper a new approach to teach functional programming, based on a suitable extension of a Backus' FP-like language is presented. Our approach outperforms some others also discussed in ability concise, but not superficially to cover the whole range from very theoretic issues to very pragmatic ones.

References

  1. [Bac 78] Backus, J.: "Can Programming Be Liberated From The Von Neumann Style?", CACM, Vol. 21, Aug. 1978. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. [Bac 81] Backus, J.: "The Algebra of Functional Programs: ..", Proc. Int. Colloq., Penlscola, Spain, LNCS 107. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. [Bir 88] Bird, R. and Wadler, P.: "Introduction to Functional Programming", Prentice Hall, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. [Cra 87] Crawford, A.: "Functional Programming for Freshman Computer Science Majors", Proc. 18th SIGCSE Tech. Symp. on CSE, SIGCSE Bull. Vol. 19, No. 1, Feb. 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. [Fie 88] Field, A. and Harrison, P.: "Introduction to Functional Programming", Addison-Wasley, 1988.Google ScholarGoogle Scholar
  6. [Har 88a] Harrison, P.: "Linearisation - an Optimization for Nonlinear Functional Programs", Science of Computer Programming, 10 (1988). Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. [Har 88b] Harrison, P. and Khoshnevisan, H.: "Transformation Techniques for Functional Languages", The Computer Journal, Vol. 31, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. [Hen 80] Henderson, P.: "Functional Programming: Application and Implementation", Prentice Hall, 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. [Hen 82] Henderson, P.: "Purely Functional Operating Systems", in "Functional Programming and Its Application: An Advanced Course", Cambridge University Press, 1982.Google ScholarGoogle Scholar
  10. [Hen 89] Henderson, P. and Romero, J.: "Teaching Recursion as a Problem - Solving Tool Using Standart ML", Proc. 20th SIGCSE Tech. Symp. on CSE, SIGCSE Bull. Vol. 21, No. 1, Feb. 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. [Hud 89] Hudak, P.: "Conception, Evolution, and Application of Functional Programming Languages", ACM Comput. Surveys, Vol. 21, No. 3, Sept. 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. [Jon 89] Jones, S. and Sinclair, A.: "Functional Programming and Operating Systems", The Computer Journal, Vol. 32, No. 2, Feb. 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. [Lam 89] Lambert, K.: "A Language-Only Course in Lisp with PC Scheme", 20th SIGCSE Tech. Symp. on CSE, SIGCSE Bull., Vol. 21, No. 1, Feb. 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. [Lou 89] Louden, K.: "Logo as a Prelude to Lisp: Some Surprising Results", SIGCSE Bull. Vol. 21, No. 3, Sept. 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. [Luk 89] Luker, P.: "Never Mind The Language, What About The Paradigm?", Proc. 20th SIGCSE Tech. Symp. on CSE, SIGCSE Bull., Vol. 21, No. 1, Feb. 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. [Mar 87] Martin, D.: "A Minilisp Interpreter", Proc. 18th SIGCSE Tech. Symp. on CSE, SIGCSE Bull., Vol. 19, No. 1, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. [McM 87] McMillan, T.: "A Small Lisp Interpreter as a Project in a Programming Language Course", Proc. 18th SIGCSE Tech. Symp. on CSE, SIGCSE Bull. Vol. 19, No. 1, Feb. 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. [Mer 90] Meredith, M.: "An effective Lisp Project for a programming Language Course", SIGCSE Bull., Vol. 22, No. 4, Dec. 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. [Pey 87] Peyton-Jones, S.: "The Implementation of Functional Programming Languages", Prentice Hall, 1987.Google ScholarGoogle Scholar
  20. [Rad 87] Radensky, A.: "Lazy Evaluation and Nondeterminism Make Backus" FP-Systems More Practical", SIGPLAN Notices, Vol. 22, No. 4, Apr. 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. [Tur 85] Turner, D.: "Miranda: A Nonstrict Functional Language with Polymorphic Types", in Proc. of Conf. on Functional Programming Languages & Computer Architectures, LNCS 201, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. [Wel 89] Wells, M. and Kurtz, B.: "Teaching Multiple Programming Paradigms", Proc. 20th SIGCSE Tech. Symp. on CSE, SIGCSE Bull. Vol. 21, No. 1, Feb. 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Teaching some modern functional programming concepts: an approach based on an extended FP-like language

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGCSE Bulletin
          ACM SIGCSE Bulletin  Volume 23, Issue 4
          Dec. 1991
          62 pages
          ISSN:0097-8418
          DOI:10.1145/122697
          Issue’s Table of Contents

          Copyright © 1991 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 November 1991

          Check for updates

          Qualifiers

          • article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!