Introducing Computer Science Undergraduates to Principles of Programming Through a Functional Language

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.

[1]  Richard Bernat,et al.  Programming from first principles , 1987 .

[2]  Chris Reade,et al.  Elements of functional programming , 1989, International computer science series.

[3]  K. Broda,et al.  Reasoned programming , 1994 .

[4]  Ken Robinson,et al.  Using Miranda as a First Programming Language , 1993, J. Funct. Program..

[5]  Stef Joosten,et al.  Teaching functional programming to first-year students , 1993, Journal of Functional Programming.

[6]  Ian Holyer.  Functional programming with Miranda , 1991 .

[7]  Rachel Harrison.  The Use of Functional Languages in Teaching Computer Science , 1993, J. Funct. Program..

[8]  Christopher D. Clack,et al.  Programming with Miranda , 1995 .

[9]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[10]  Gerald J. Sussman,et al.  Structure and interpretation of computer programs , 1985, Proceedings of the IEEE.

[11]  David A. Watt,et al.  Programming language concepts and paradigms , 1990, Prentice Hall International Series in Computer Science.