The Journal of Functional Programming, Volume 9

Volume 9, Number 1, January 1999

• Cormac Flanagan, Matthias Felleisen: The Semantics of Future and an Application. 1-31 BibTeX
• Michael Hanus, Christian Prehofer: Higher-Order Narrowing with Definitional Trees. 33-75 BibTeX
• Richard S. Bird, Ross Paterson: De Bruijn Notation as a Nested Datatype. 77-91 BibTeX
• Ralf Hinze: Explaining Binomial Heaps. 93-104 BibTeX

Volume 9, Number 2, March 1999

• Richard J. Boulton: Transparent Optimisation of Rewriting Combinators. 113-146 BibTeX
• Keith Hanna: Implementing Theorem Provers in a Purely Functional Style. 147-166 BibTeX
• Christoph Lüth, Burkhart Wolff: Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. 167-189 BibTeX
• Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch: HOLCF=HOL+LCF. 191-223 BibTeX
• Andrew Ireland, Alan Bundy: Automatic Verification of Functions with Accumulating Parameters. 225-245 BibTeX

Volume 9, Number 3, May 1999

• Martin Hofmann: Semantics of Linear/Modal Lambda Calculus. 247-277 BibTeX
• Christoph A. Herrmann, Christian Lengauer: Parallelization of Divide-and-Conquer by Translation to Nested Loops. 279-310 BibTeX

• Koen Claessen: A Poor Man's Concurrency Monad. 313-323 BibTeX
• M. Douglas McIlroy: Power Series, Power Serious. 325-337 BibTeX
• Jeremy Gibbons: A Pointless Derivation of Radix Sort. 339-346 BibTeX

Volume 9, Number 4, May 1999

• Graham Hutton: A Tutorial on the Universality and Expressiveness of Fold. 355-372 BibTeX
• Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen: Compilation and Equivalence of Imperative Objects. 373-426 BibTeX
• Susumu Nishimura, Atsushi Ohori: Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion. 427-462 BibTeX

• Robert Harper: Proof-Directed Debugging. 463-469 BibTeX
• Chris Okasaki: Red-Black Trees in a Functional Setting. 471-477 BibTeX

Volume 9, Number 5, May 1999

• Peter Thiemann: Combinators for Program Generation. 483-525 BibTeX
• Panos Rondogiannis, William W. Wadge: Higher-Order Functional Languages and Intensional Logic. 527-564 BibTeX

• Richard Statman, Henk Barendregt: Applications of Plotkin-Terms: Partitions and Morphisms for Closed Terms. 565-575 BibTeX

Volume 9, Number 6, November 1999

• David Wakeling: Compiling lazy functional programs for the Java Virtual Machine. 579-603 BibTeX
• Dinh Lê, Douglas Stott Parker Jr.: Using randomization to make recursive matrix algorithms practical. 605-624 BibTeX
• Tristan Crolard: A confluent lambda-calculus with a catch/throw mechanism. 625-647 BibTeX
• Alfons Geser, Sergei Gorlatch: Parallelizing functional programs by generalization. 649-673 BibTeX

• Gilles Barthe: Type-checking injective pure type systems. 685-698 BibTeX