[Texmacs-dev] A Functional Description of TeX's Formula Layout

[Nicolas Girard]

Dear people,

you may be interested in a paper from Reinhold Heckmann and Reinhard Wilhelm 
called "A Functional Description of TeX's Formula Layout". It is available 
here [1]; its abstract follows:

While the quality of the results of TeX's mathematical formula layout 
algorithm is convincing, its original description is hard to understand since 
it is presented as an imperative program with complex control flow and 
destructive manipulations of the data structures representing formulae. In 
this paper, we present a re-implementation of TeX's formula layout algorithm 
in the functional language SML, thereby providing a more readable description 
of the algorithm, extracted from the monolithical TeX system. 

[1] http://rw4.cs.uni-sb.de/~heckmann/abstracts/neuform.html

Cheers,
Nicolas