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 'sdiagrams
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.
Main page