Volume 13,
Number 1,
January 2003
Special Issue:
The Journal of Functional Programming. Haskell 98
I The Haskell 98 Language
II The Haskell 98 Libraries
Volume 13,
Number 2,
March 2003
Special Issue on Logical Frameworks and Metalanguages
Volume 13,
Number 3,
May 2003
- Walid Taha:
Semantics, Applications, and Implementation of Program Generation.
453-454
Electronic Edition (link) BibTeX
- Conal Elliott, Sigbjorn Finne, Oege de Moor:
Compiling embedded languages.
455-481
Electronic Edition (link) BibTeX
- Bernd Fischer, Johann Schumann:
AutoBayes: a system for generating data analysis programs from statistical models.
483-508
Electronic Edition (link) BibTeX
- Adam Fischbach, John Hannan:
Specification and correctness of lambda lifting.
509-543
Electronic Edition (link) BibTeX
- Cristiano Calcagno, Eugenio Moggi, Tim Sheard:
Closed types for a safe imperative MetaML.
545-571
Electronic Edition (link) BibTeX
- Peter Thiemann:
Program specialization for execution monitoring.
573-600
Electronic Edition (link) BibTeX
- Norman Ramsey:
Pragmatic aspects of reusable program generators.
601-646
Electronic Edition (link) BibTeX
- Stefan Monnier, Zhong Shao:
Inlining as staged computation.
647-676
Electronic Edition (link) BibTeX
- Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim:
Compiling for template-based run-time code generation.
677-708
Electronic Edition (link) BibTeX
Volume 13,
Number 4,
July 2003
Articles
Theoretical Pearls
Book Reviews
- Chris Angus:
"Trends in Functional Programming" (volumes 1 & 2) by Greg Michaelson, Phil Trinder and Hans-Wolfgang Loidl (editors volume 1), and Stephen Gilmore (editor volume 2). Intellect Books, Bristol, 2001, 2002.
823-824
Electronic Edition (link) BibTeX
- Gaétan Hains:
"Implicit parallel programming in pH" by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001.
824-826
Electronic Edition (link) BibTeX
- Jerzy Karczmarczuk:
"Structure and Interpretation of Classical Mechanics" by Gerald Jay Sussman and Jack Wisdom with Meinhard E. Mayer, The MIT Press; 2001, ISBN 0262194554.
826-828
Electronic Edition (link) BibTeX
- Dan Russell:
"Algorithms: A Functional Programming Approach" by Fethi Rabhi and Guy Lapalme, Addison-Wesley, 1999, ISBN 0-201-59604-0, xi + 235pp.
828-829
Electronic Edition (link) BibTeX
- Walid Taha:
"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001.
829-831
Electronic Edition (link) BibTeX
- Bryn Keller:
"The World of Scripting Languages" by David W. Barron, John Wiley & Sons, 2000, ISBN 0-471-99886-9.
831-832
Electronic Edition (link) BibTeX
Volume 13,
Number 5,
September 2003
Article
Educational Pearl
Articles
Functional Pearl
Errata
Volume 13,
Number 6,
November 2003
Articles
Educational Pearl
Book Review
Copyright © Sun May 17 00:09:24 2009
by Michael Ley (ley@uni-trier.de)
