2 次元ボックス配置のアルゴリズム (または代数) を探しています。(再帰的な) ボックスの配置は、TeX や Lout などの型設定システムだけでなく、Web ブラウザーにも実装されています。たとえば、ボックスを水平または垂直に並べたり、使用可能なスペースに広げたり、再帰的に構成したりできます。型設定の外でそのようなシステムを実装する論文や実装はありますか? そのようなシステムをどのように説明するのが最も適切かというコンセンサスはありますか?
編集: Haskell ダイアグラムパッケージは、グラフィカル オブジェクトを構成するためのかなり徹底したアプローチのように見えます。箱だけでなく、どんな形にも対応できます。弱点は、タイプ設定、Web ブラウザー、および GUI にとって非常に重要なテキストの処理にあるようです。
編集：LaTeX3の棺桶は関連しているように見えます。