First International Symposium on Functional Programming Languages in Education
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

EDU
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.