Pieter H. Hartel, Marinus J. Plasmeijer
First International Symposium on Functional Programming Languages in Education
FPLE, 1995.

@proceedings{FPLE-1995,
	address       = "Nijmegen, The Netherlands",
	editor        = "Pieter H. Hartel and Marinus J. Plasmeijer",
	isbn          = "3-540-60675-0",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{First International Symposium on Functional Programming Languages in Education}",
	volume        = 1022,
	year          = 1995,
}

Contents (17 items)

10 ×#functional
8 ×#programming
5 ×#education
3 ×#student
2 ×#using

FPLE-1995-Turner #functional #programming

Elementary Strong Functional Programming (DAT), pp. 1–13.

FPLE-1995-Keravnou #functional #programming

Introducing Computer Science Undergraduates to Principles of Programming Through a Functional Language (ETK), pp. 15–34.

FPLE-1995-Davison #c #education

Teaching C after Miranda (AD), pp. 35–50.

FPLE-1995-JacquotG #requirements

Requirements for an Ideal First Language (JPJ, JG), pp. 51–63.

FPLE-1995-NunezPP #data type #functional #programming

A Second Year Course on Data Structures Based on Functional Programming (MN, PP, RP), pp. 65–84.

FPLE-1995-ThompsonH #education #functional #programming

Functional Programming Through the Curriculum (SJT, SH), pp. 85–102.

FPLE-1995-JarvisPM #case study #comprehension #education #experience #functional #programming #scalability

Understanding LOLITA: Experiences in Teaching Large Scale Functional Programming (SAJ, SP, RGM), pp. 103–119.

FPLE-1995-Karczmarczuk #functional #programming

Functional Programming and Mathematical Objects (JK), pp. 121–137.

FPLE-1995-Fokker #algebra #functional #source code

Explaining Algebraic Theory with Functional Programs (JF), pp. 139–158.

FPLE-1995-LesterM #student

Inducing Students to Induct (DRL, SM), pp. 159–177.

FPLE-1995-Burton #concept #recursion

Conceptual Structures for Recursion (CTPB), pp. 179–193.

FPLE-1995-ODonnell #architecture #education #functional #specification

From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra (JJO), pp. 195–214.

FPLE-1995-KoopmanZ #database #functional #programming

Functional Programming in a Basic Database Course (PWMK, VZ), pp. 215–229.

FPLE-1995-KlugeRS #education #execution #functional #programming #using

Using pi-RED as a Teaching Tool for Functional Programming and Program Execution (WEK, CR, SBS), pp. 231–249.

FPLE-1995-HilsdaleADF #compilation #using

Compiler Construction Using Scheme (EH, JMA, RKD, DPF), pp. 251–267.

FPLE-1995-HartelET #proving #student

Basic Proof Skills of Computer Science Students (PHH, BvE, DT), pp. 269–287.

FPLE-1995-ClackM #student

The Dys-Functional Student (CDC, CM), pp. 289–309.