Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
1995.
|
| Series: | Lecture notes in computer science ;
1022. |
| Subjects: |
Table of 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.