Functional Programming Languages in Education

1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings

Pieter Hartel (Herausgeber)

Buch | Softcover
XI, 317 Seiten
1995 | 1995
Springer Berlin (Verlag)
978-3-540-60675-8 (ISBN)

Lese- und Medienproben

Functional Programming Languages in Education -
53,49 inkl. MwSt
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 languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction, computer architecture, computer graphics, mathematics, problem solving and the semantics of programming languages.

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.

Erscheint lt. Verlag 23.11.1995
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XI, 317 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 440 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Compilerbau
Schlagworte algorithm • Algorithm design • Algorithmenentwurf • algorithms • Algorithmus • Computer Graphics • Computer Science Education • data structure • data structures • Datenstruktur • Datenstrukturen • Functional Programming • Funktionales Programmieren • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • HC/Informatik, EDV/Programmiersprachen • Informatik • Informatikausbildung • Programmierprinzipien • Programmiersprache • Programmierung • programming • Programming language • Programming Principles • Semantics
ISBN-10 3-540-60675-0 / 3540606750
ISBN-13 978-3-540-60675-8 / 9783540606758
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85