1. FPLE 1995: Nijmegen, The Netherlands

Pieter H. Hartel, Marinus J. Plasmeijer (Eds.): Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings. Lecture Notes in Computer Science 1022 Springer 1995, ISBN 3-540-60675-0 BibTeX

@proceedings{DBLP:conf/fple/1995,
  editor    = {Pieter H. Hartel and
               Marinus J. Plasmeijer},
  title     = {Functional Programming Languages in Education, First International
               Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6,
               1995, Proceedings},
  booktitle = {FPLE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1022},
  year      = {1995},
  isbn      = {3-540-60675-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

D. A. Turner: Elementary Strong Functional Programming. 1-13 BibTeX
Elpida T. Keravnou: Introducing Computer Science Undergraduates to Principles of Programming Through a Functional Language. 15-34 BibTeX
Andrew Davison: Teaching C after Miranda. 35-50 BibTeX
J.-P. Jacquot, J. Guyard: Requirements for an Ideal First Language. 51-63 BibTeX
Manuel Núñez, Pedro Palao, Ricardo Pena: A Second Year Course on Data Structures Based on Functional Programming. 65-84 BibTeX
Simon J. Thompson, Steve Hill: Functional Programming Through the Curriculum. 85-102 BibTeX
Stephen A. Jarvis, Sanjay Poria, Richard G. Morgan: Understanding LOLITA: Experiences in Teaching Large Scale Functional Programming. 103-119 BibTeX
Jerzy Karczmarczuk: Functional Programming and Mathematical Objects. 121-137 BibTeX
Jeroen Fokker: Explaining Algebraic Theory with Functional Programs. 139-158 BibTeX
David Lester, Sava Mintchev: Inducing Students to Induct. 159-177 BibTeX
C. T. Peter Burton: Conceptual Structures for Recursion. 179-193 BibTeX
John J. O'Donnell: From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra. 195-214 BibTeX
Pieter W. M. Koopman, Vincent Zweije: Functional Programming in a Basic Database Course. 215-229 BibTeX
Werner E. Kluge, Carsten Rathsack, Sven-Bodo Scholz: Using pi-RED as a Teaching Tool for Functional Programming and Program Execution. 231-249 BibTeX
Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, Daniel P. Friedman: Compiler Construction Using Scheme. 251-267 BibTeX
Pieter H. Hartel, Bert van Es, Dick Tromp: Basic Proof Skills of Computer Science Students. 269-287 BibTeX
Chris D. Clack, Colin Myers: The Dys-Functional Student. 289-309 BibTeX