Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings
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...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
1022 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Functional programming languages in education, first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995, proceedings, Pieter H. Hartel, Rinus Plasmeijer (eds.), Berlin, Springer, 1995, 1 vol. (X-309 p.), Lecture notes in computer science, 3-540-60675-0 • Functional Programming Languages in Education, Texte imprimé, 9783662203521 |
| LEADER | 04143nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 945487 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229915 | ||
| 020 | |a 9783540492528 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International symposium on functional programming languages in education |n (01 |d :1995 |c :Nijmegen). | |
| 245 | 1 | 0 | |a Functional programming languages in education : |b first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings |c [edited by] Pieter H. Hartel, Rinus Plasmeijer. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1022 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Enseignement assisté par ordinateur | ||
| 650 | |a Langages de programmation fonctionnelle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Hartel, Pieter H. |4 pbd | |
| 700 | 1 | |a Plasmeijer, Rinus. |4 pbd | |
| 776 | 0 | |0 024667773 |t Functional programming languages in education |o first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 |o proceedings |f Pieter H. Hartel, Rinus Plasmeijer (eds.) |c Berlin |n Springer |d 1995 |p 1 vol. (X-309 p.) |s Lecture notes in computer science |z 3-540-60675-0 | |
| 776 | 0 | |t Functional Programming Languages in Education |b Texte imprimé |z 9783662203521 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60675-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-GH9FQ2BX-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791009X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60675-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750922958 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60675-0 |z Accès INSA CVL | |
| 997 | |0 945487 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||