article

Free access

Fun, rigour and pragmatism in functional programming

Authors:

Angel Sánchez-Calle,

J. Angel Velázquez-IturbideAuthors Info & Claims

ACM SIGCSE Bulletin, Volume 23, Issue 3

Pages 11 - 16

https://doi.org/10.1145/126459.126464

Published: 01 September 1991 Publication History

Abstract

A course on functional programming using Hope is presented. It describes the basic principles of functional programming, the syntax and semantics of Hope, and some techniques for the analysis and design of programs. A main feature of the course is the integration in a natural way of formal methods and reusability with programming.

References

[1]

{1} H. Abelson and G. J. Sussman, Structure and interpretation of computer programs, MIT Press, Cambridge, Massachussetts, 1985.

Digital Library

[2]

{2} "Scaling up: A research agenda for software engineering", Communications of the ACM, 33(3): 281-293, March 1990.

Digital Library

[3]

{3} R. Bailey, "A Hope tutorial", Byte, August 85, pp. 235-258.

[4]

{4} R. S. Boyer and J. S. Moore, "Proving theorems about LISP functions", Journal of ACM, 22(1): 129-144, Janu - ary 1975.

Digital Library

[5]

{5} R. M. Burstall and J. Darlington, "A transformation system for developing recursive programs", Journal of the ACM, 24(1): 44-67, January 1977.

Digital Library

[6]

{6} R. M. Burstall, D. B. MacQueen and D. T. Sannella, "Hope: An experimental aplicative language", Proc. 1980 Lisp Conf., Stanford, EE.UU., pp. 136-143.

Digital Library

[7]

{7} A. L. Crawford, "Functional programming for freshman computer science majors", Eighteenth SIGCSE Tech. Symp. Computer Science Education, 19(1): 165-169, February 1987.

Digital Library

[8]

{8} P. J. Denning et al., "Computing as a discipline", Communications of the ACM, 32(1): 9-23, January 1989.

Digital Library

[9]

{9} A. J. Field and P. G. Harrison, Functional Programming, Addison-Wesley, 1988.

[10]

{10} P. Henderson, Functional Programming: Application and Implementation, Prentice-Hall, 1980.

Digital Library

[11]

{11} P. H. Henderson and F. J. Romero, "Teaching recursion as a problem-solving tool using Standard ML", Twentieth SIGCSE Tech. Symp. Computer Science Education, 21(1): 27-31, February 1989.

Digital Library

[12]

{12} K. A. Lambert, "A language-only course in Lisp with PC Scheme", Twentieth SIGCSE Tech. Symp. Computer Science Tducation, 21(1): 236-240, February 1989.

Digital Library

[13]

{13} J. Loeckx, "Algorithmic specifications: A constructive specification method for abstract data types", ACM Trans. Programming Languages and Systems , 9(4): 646-685, October 1987.

Digital Library

[14]

{14} Z. Manna and R. Waldinger, The logical basis for computer programming, vols. 1 and 2, Addison-Wesley, Reading, Massachusetts, 1985 and 1990.

Digital Library

[15]

{15} J. P. Myers, "The central role of mathematical logic in computer science", Twenty-first SIGCSE Tech. Symp. Computer Science Education, 22(1): 22-26, February 1990.

Digital Library

[16]

{16} C. Reade, Elements of Functional Programming , Addison-Wesley, Reading, Massachusets, 1989.

Digital Library

[17]

{17} A. Sánchez-Calle and J. A. Velázquez-Iturbide, "A practical course on functional programming", Tech. Report FIM/54.1/LyS/89, Facultad de Informática, Universidad Politécnica de Madrid, November 1989.

Cited By

Pérez-Carrasco AVelázquez-Iturbide J(2012)Interactive Learning of RecursionEducational Stages and Interactive Learning10.4018/978-1-4666-0137-6.ch015(254-272)Online publication date: 2012
https://doi.org/10.4018/978-1-4666-0137-6.ch015
Hartel PHertzberger L(1995)Paradigms and laboratories in the core computer science curriculumACM SIGCSE Bulletin10.1145/216511.21652127:4(13-20)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1145/216511.216521
Velázquez-Iturbide J(1994)Improving Functional Programming Environments for EducationHuman-Machine Communication for Educational Systems Design10.1007/978-3-642-85104-9_40(325-332)Online publication date: 1994
https://doi.org/10.1007/978-3-642-85104-9_40

Index Terms

Fun, rigour and pragmatism in functional programming
1. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Model curricula
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

Swift 3 Functional Programming
Functional programming, object-oriented programming and algebras!
WGP '14: Proceedings of the 10th ACM SIGPLAN workshop on Generic programming

Functional and Object-Oriented (OO) abstractions provide dual views on programming. Functional languages, like ML or Haskell, use algebraic datatypes as the main structuring abstraction. Algebraic datatypes require programmers to think about all the ...
Real World Functional Programming: With Examples in F# and C#

Comments

Information & Contributors

Information

Published In

Copyright © 1991 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1991

Published in SIGCSE Volume 23, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
141
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)2

Reflects downloads up to 10 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Pérez-Carrasco AVelázquez-Iturbide J(2012)Interactive Learning of RecursionEducational Stages and Interactive Learning10.4018/978-1-4666-0137-6.ch015(254-272)Online publication date: 2012
https://doi.org/10.4018/978-1-4666-0137-6.ch015
Hartel PHertzberger L(1995)Paradigms and laboratories in the core computer science curriculumACM SIGCSE Bulletin10.1145/216511.21652127:4(13-20)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1145/216511.216521
Velázquez-Iturbide J(1994)Improving Functional Programming Environments for EducationHuman-Machine Communication for Educational Systems Design10.1007/978-3-642-85104-9_40(325-332)Online publication date: 1994
https://doi.org/10.1007/978-3-642-85104-9_40

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents