Functional Programming Languages in Education 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings

Functional Programming Languages in Education 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings / edited by Pieter Hartel.

This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995. The 17 revised full papers included represent the current state-of-the-art in using functional lang...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hartel, Pieter (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Edition:1st ed. 1995.
Series:Lecture Notes in Computer Science, 1022
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Elementary strong functional programming
  • Introducing computer science undergraduates to principles of programming through a functional language
  • Teaching C after Miranda
  • Requirements for an ideal first language
  • A second year course on data structures based on functional programming
  • Functional programming through the curriculum
  • Experiences in teaching large scale functional programming
  • Functional programming and mathematical objects
  • Explaining algebraic theory with functional programs
  • Inducing students to induct
  • Conceptual structures for recursion
  • Teaching functional circuit specification in Hydra
  • Functional programming in a basic database course
  • Using ?-RED as a teaching tool for functional programming and program execution
  • Compiler construction using scheme
  • Basic proof skills of computer science students
  • The Dys-functional student.

Similar Items