Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Functional programming languages --- Miranda (Computer program language)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Functional programming languages --- Computer-assisted instruction --- Congresses. --- -Functional programming languages --- -681.3*D11 --- 681.3*K31 --- Programming languages (Electronic computers) --- CAI (Computer-assisted instruction) --- Computer-aided instruction --- Computer-assisted learning --- Computer based instruction --- Computer-enhanced learning --- Electronic data processing in programmed instruction --- ILSs (Integrated learning systems) --- Integrated learning systems --- Microcomputer-aided instruction --- Microcomputer-assisted instruction --- Microcomputer-assisted learning --- Microcomputer-based instruction --- Teaching --- Education --- Educational technology --- Programmed instruction --- Telematics --- Congresses --- Applicative (functional) programming --- Computer uses in education: computer-assisted instruction; CAI; computer-managed instruction; CMI --- Data processing --- 681.3*K31 Computer uses in education: computer-assisted instruction; CAI; computer-managed instruction; CMI --- 681.3*D11 Applicative (functional) programming --- 681.3*D11 --- Computer science. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Functional programming languages - Congresses. --- Computer-assisted instruction - Congresses