Teaching C after Miranda

  • Andrew Davison
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1022)


The first year of our computer science degree begins with a subject based around the lazy functional language Miranda, and is followed by a subject using ANSI C.

We discuss the C subject, and how Miranda has been utilised within it. In particular, Miranda is used as a specification language for Abstract Data Types (ADTs), which demonstrates the utility of its high level features for developing reusable code. C versions of these ADTs are also developed, which allows a comparison of the two languages and their programming paradigms.


Information Hiding Functional Programming Programming Paradigm List Type Abstract Data Type 
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.
    Bird, R., Wadler, P.: Introduction to Functional Programming, (1988), Prentice Hall Int.Google Scholar
  2. 2.
    Clack, C., Myers, C., Poon, E.: Programming with Miranda, (1995), Prentice Hall Int.Google Scholar
  3. 3.
    Curmi, J., Johnston, R., Moffat, A., Naish, L., Sonenberg, L.: 433-141 Computing Fundamentals A, Notes and Exercises, (1994), Dept. of Computer Science, Univ. of Melbourne, AustraliaGoogle Scholar
  4. 4.
    Deitel, H.M., Deitel, P.J.: C: How To Program, 2nd Edition, (1994), Prentice Hall Int.Google Scholar
  5. 5.
    Holyer, I.: Functional Programming With Miranda, (1991), PitmanGoogle Scholar
  6. 6.
    Hudak, P.: Conception, Evolution, and Application of Functional Programming Languages, Computing Surveys, 21(3), September, (1989), 359–411Google Scholar
  7. 7.
    Hughes, J.: Why Functional Programming Matters, The Computer Journal, Vol. 32, No. 2, (1989), 98–107Google Scholar
  8. 8.
    Kelley, A., Pohl, I: A Book on C, 3rd Edition, (1995), Benjamin CummingsGoogle Scholar
  9. 9.
    Kernighan, B.W., Ritchie, D.M.: The C Programming Language, 2nd Edition, (1988), Prentice Hall Int.Google Scholar
  10. 10.
    Pohl, I., Edelson, D.: A To Z: C Language Shortcomings, Computer Language, Vol. 13, No. 2, (1988), 51–64.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Andrew Davison
    • 1
  1. 1.Department of Computer ScienceUniversity of MelbourneParkvilleAustralia

Personalised recommendations