The Journal of Functional Programming, Volume 3

Volume 3, Number 1, January 1993

Simon J. Thompson, Philip Wadler: Functional Programming in Education - Introduction. 3-4 BibTeX
Tim Lambert, Peter Lindsay, Ken Robinson: Using Miranda as a First Programming Language. 5-34 BibTeX
Phil Molyneux: Functional Programming for Business Students. 35-48 BibTeX
Stef Joosten, Klaas van den Berg, Gerrit van Der Hoeven: Teaching Functional Programming to First-Year Students. 49-65 BibTeX
Rachel Harrison: The Use of Functional Languages in Teaching Computer Science. 67-75 BibTeX
Lennart Augustsson: The Interactive Lazy ML System. 77-92 BibTeX
Colin Runciman, Ian Toyn, Mike Firth: An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. 93-115 BibTeX

Functional Pearls

John Hannan: Extended Natural Semantics. 123-152 BibTeX
W. Ken Jackson, F. Warren Burton: Improving Intervals. 153-169 BibTeX
F. Warren Burton, Robert D. Cameron: Pattern Matching with Abstract Data Types. 171-190 BibTeX
Eric Nöcker, Sjaak Smetsers: Partially Strict Non-Recursive Data Types. 191-215 BibTeX
Colin Runciman, David Wakeling: Heap Profiling of Lazy Functional Programs. 217-245 BibTeX
Chris Reade: Terminating Comprehensions. 247-250 BibTeX

Erik Ruf, Daniel Weise: On the Specialization of Online Program Specializers. 251-281 BibTeX
Valentin F. Turchin: Program Transformation with Metasystem Transitions. 283-313 BibTeX
Anders Bondorf, Jesper Jørgensen: Efficient Analysis for Realistic Off-Line Partial Evaluation. 315-346 BibTeX
Jens Palsberg: Correctness of Binding-Time Analysis. 347-363 BibTeX
Mitchell Wand: Specifying the Correctness of Binding-Time Analysis. 365-387 BibTeX

Special issue on ML

Andrew W. Appel: A Critique of Standard ML. 391-429 BibTeX
Xavier Leroy, Michel Mauny: Dynamics in ML. 431-463 BibTeX
Robert Harper, Bruce F. Duba, David B. MacQueen: Typing First-Class Continuations in ML. 465-484 BibTeX
Roberto Di Cosmo: Deciding Type Isomorphisms in a Type-Assignment Framework. 485-525 BibTeX
Dave Berry: Lessons from the Design of a Standard ML Library. 527-552 BibTeX

Functional Pearls