JFLP: Technical Credit

The Journal of Functional and Logic Programming

Technical Credit


Typesetting software
Articles in the journal are typeset using TeX by Donald E. Knuth. See The TeX book , Donald E. Knuth, Addison-Wesley, 1984.
Layout style definitions
LaTeX , by Leslie Lamport, controls the layout style. See LaTeX : a document preparation system , Leslie Lamport, Addison-Wesley, 1986. Articles are compatible with the original LaTeX , and also the current standard LaTeX2e . Some articles use style resources from AMS-LaTeX and from the stmaryrd packages. The precompiled DVI versions of articles are laid out by the article style. Some articles use Paul Taylor 's diagrams package.
Markup structure
CJstruct , by Michael J. O'Donnell , provides a set of LaTeX macro definitions to support a more logical markup of the syntactic structure of articles than is normally achieved directly with LaTeX .
LaTeX source manipulation tools
lct and bct , by John Overton , cleans-up LaTeX and BibTeX source files. These two tools use bibclean , bibsort , and citefind by Nelson H. F. Beebe.
PostScript translation
The UNIX program dvips , by Tomas Rokicki (extended by Donald E. Knuth) translates DVI into the precompiled PostScript provided with each article.
Audio translaction
AsTeR , by T. V. Raman, translates the LaTeX source into audio formats.


*back to* Main page