Research Catalog

Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings

Title
Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel, Rinus Plasmeijer (eds.).
Author
FPLE '95 (1995 : Nijmegen, Netherlands)
Publication
Berlin ; New York : Springer, [1995], ©1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.62 .F68 1995Off-site

Holdings

Details

Additional Authors
  • Hartel, Pieter H.
  • Plasmeijer, M. J. (Marinus Jacobus)
Description
x, 309 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 1022
Uniform Title
Lecture notes in computer science ; 1022.
Subjects
Bibliography (note)
  • Includes bibliographical references.
Contents
  • Invited paper: Elementary strong functional programming / D. A. Turner -- Introducing computer science undergraduates to principles of programming through a functional language / E. T. Keravnou -- Teaching C after Miranda / A. Davison -- Requirements for an ideal first language / J.-P. Jacquot and J. Guyard -- A second year course on data structures based on functional programming / M. Nunez, P. Palao and R. Pena -- Functional programming through the curriculum / S. Thompson and S. Hill -- Understanding LOLITA: Experiences in teaching large scale functional programming / S. Jarvis, S. Poria and R. Morgan -- Functional programming and mathematical objects / J. Karczmarczuk -- Explaining algebraic theory with functional programs / J. Fokker -- Inducing students to induct / D. Lester and S. Mintchev -- Conceptual structures for recursion / C. T. P. Burton -- From transistors to computer architecture: Teaching functional circuit specification in Hydra / J. O'Donnell --
  • Functional programming in a basic database course / P. Koopman and V. Zweije -- Using [pi]-RED as a teaching tool for functional programming and program execution / W. E. Kluge, C. Rathsack and S.-B. Scholz -- Compiler construction using Scheme / E. Hilsdale, J. M. Ashley, R. K. Dybvig and D. P. Friedman -- Basic proof skills of computer science students / P. H. Hartel, B. van Es and D. Tromp -- The dys-functional student / C. Clack and C. Myers.
ISBN
3540606750 (alk. paper)
LCCN
95049511
OCLC
ocm33819551
Owning Institutions
Columbia University Libraries