Fun, rigour and pragmatism in functional programming-Reference-Cited by-同舟云学术

Fun, rigour and pragmatism in functional programming

Published:1991-09 Issue:3 Volume:23 Page:11-16
ISSN:0097-8418
Container-title:ACM SIGCSE Bulletin
language:en
Short-container-title:SIGCSE Bull.

Author:

Sánchez-Calle Angel¹,Velázquez-Iturbide J. Angel¹

Affiliation:

1. Dpto. de Lenguajes y Sistemas Informaticos e Ingenieria de Software, Facultad de Informatica, Universidad Politécnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/126459.126464

Reference16 articles.

1. Scaling up: a research agenda for software engineering

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

3. Proving Theorems about LISP Functions

4. A Transformation System for Developing Recursive Programs

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interactive Learning of Recursion;Educational Stages and Interactive Learning;2012

2. Paradigms and laboratories in the core computer science curriculum;ACM SIGCSE Bulletin;1995-12

3. Improving Functional Programming Environments for Education;Human-Machine Communication for Educational Systems Design;1994