Introducing computer science undergraduates to principles of programming through a functional language

  • E. T. Keravnou
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1022)


The paper discusses experience, over a three year period, at the Department of Computer Science of the University of Cyprus, in introducing undergraduate students in Computer Science to principles of programming (modularity, abstraction, genericity) through a functional language, and more specifically the language Miranda. The viability of this approach as well as the consequences for other courses in the curriculum, as evidenced in practice, are analysed.


Functional Programming Functional Language Processing Entity Vacant Position Programming Assignment 
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.
    H. Abelson, G.J. Sussman, and J. Sussman, Structure and Interpretation of Computer Programs, The MIT Press, 1985.Google Scholar
  2. 2.
    R. Bird, and P. Wadler, Introduction to Functional Programming, Prentice Hall, 1988.Google Scholar
  3. 3.
    R. Bornat, Programming from First Principles, Prentice Hall, 1987.Google Scholar
  4. 4.
    K. Broda, S. Eisenbach, H. Khoshnevisan, and S. Vickers, Reasoned Programming, Prentice Hall, 1994.Google Scholar
  5. 5.
    C. Clack, C. Myers, and E. Poon, Programming with Miranda, Prentice Hall, 1995.Google Scholar
  6. 6.
    R. Harrison, “The use of functional languages in teaching computer science,” J. Functional Programming, Vol. 3, pp. 67–75, 1993.Google Scholar
  7. 7.
    I. Holyer, Functional Programming with Miranda, UCL Press, 1991.Google Scholar
  8. 8.
    S. Joosten, K. van der Berg, and G. van der Hoeven, “Teaching functional programming to first-year students,” J. Functional Programming, Vol. 3, pp. 49–65, 1993.Google Scholar
  9. 9.
    E. T. Keravnou, “Lecture Notes, Tutorials and Practicals for Programming Principles I & II (1992–95)” (in Greek).Google Scholar
  10. 10.
    T. Lambert, P. Lindsay, and K. Robinson, “Using Miranda as a first programming language” J. Functional Programming, Vol. 3, pp. 5–34, 1993.Google Scholar
  11. 11.
    C. Reade, Elements of Functional Programming, Addison Wesley, 1989.Google Scholar
  12. 12.
    D. A. Watt, Programming Language Concepts and Paradigms, Prentice Hall, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • E. T. Keravnou
    • 1
  1. 1.Department of Computer ScienceUniversity of CyprusNicosiaCyprus

Personalised recommendations