Skip to main content
SpringerLink
Log in

Functional programming through the curriculum

  • Conference paper
  • First Online:
Funtional Programming Languages in Education (FPLE 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1022))

Abstract

This paper discusses our experience in using a functional language in topics across the computer science curriculum. After examining the arguments for taking a functional approach, we look in detail at four case studies from different areas: programming language semantics, machine architectures, graphics and formal languages.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1985.

    Google Scholar 

  2. Steve Hill. The functional simulation of a simple microprocessor. Technical Report 17-94, UKC Computing Laboratory, 1994. Available by ftp from unix.hensa.ac.uk in the directory pub/misc/ukc.reports/comp.sci/reports as the file 17-94.ps.Z.

    Google Scholar 

  3. Simon L. Peyton Jones. Implementing Functional Languages. Prentice-Hall, 1992.

    Google Scholar 

  4. Rod Salmon and Mel Slater. Computer Graphics — Systems and Concepts. Addison-Wesley, 1987.

    Google Scholar 

  5. Joseph E. Stoy. Denotational Semantics: The Scott-Strachey approach to programming language theory. MIT Press, 1977.

    Google Scholar 

  6. Robert D. Tennent. Principles of Programming Languages. Prentice Hall, 1979.

    Google Scholar 

  7. Simon Thompson. Programming language semantics using Miranda. Technical Report 9-95, Computing Laboratory, University of Kent at Canterbury, 1995.

    Google Scholar 

  8. Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Laboratory, University of Kent at Canterbury, UK

    Simon Thompson & Steve Hill

Authors
  1. Simon Thompson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Steve Hill
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pieter H. Hartel Rinus Plasmeijer

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thompson, S., Hill, S. (1995). Functional programming through the curriculum. In: Hartel, P.H., Plasmeijer, R. (eds) Funtional Programming Languages in Education. FPLE 1995. Lecture Notes in Computer Science, vol 1022. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60675-0_40

Download citation

  • DOI: https://doi.org/10.1007/3-540-60675-0_40

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60675-8

  • Online ISBN: 978-3-540-49252-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation