Functional programming through the curriculum

  • Simon Thompson
  • Steve Hill
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1022)


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.


Machine State Regular Expression Operational Semantic Semantic Function Semantic Description 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1985.Google Scholar
  2. 2.
    Steve Hill. The functional simulation of a simple microprocessor. Technical Report 17-94, UKC Computing Laboratory, 1994. Available by ftp from in the directory pub/misc/ukc.reports/comp.sci/reports as the file Scholar
  3. 3.
    Simon L. Peyton Jones. Implementing Functional Languages. Prentice-Hall, 1992.Google Scholar
  4. 4.
    Rod Salmon and Mel Slater. Computer Graphics — Systems and Concepts. Addison-Wesley, 1987.Google Scholar
  5. 5.
    Joseph E. Stoy. Denotational Semantics: The Scott-Strachey approach to programming language theory. MIT Press, 1977.Google Scholar
  6. 6.
    Robert D. Tennent. Principles of Programming Languages. Prentice Hall, 1979.Google Scholar
  7. 7.
    Simon Thompson. Programming language semantics using Miranda. Technical Report 9-95, Computing Laboratory, University of Kent at Canterbury, 1995.Google Scholar
  8. 8.
    Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Simon Thompson
    • 1
  • Steve Hill
    • 1
  1. 1.Computing LaboratoryUniversity of Kent at CanterburyUK

Personalised recommendations