main.tex

\documentclass[
  luatex,
  japanese,
  unicode,
  titlepage,
  pdfusetitle
]{ltjsbook}

\input{config/common.tex}
\input{config/layout.tex}
\input{config/macro.tex}
\IfFileExists{config/macro.local.tex}{
  \input{config/macro.local.tex}
}{}
\input{config/math.tex}

\input{article/title}

\begin{document}
\pagenumbering{gobble}
\maketitle
\thispagestyle{empty}

\pagenumbering{Roman}
\thispagestyle{empty}
\input{article/abstract.tex}

\pagenumbering{arabic}
\tableofcontents
\clearpage

% Add articles
\chapter{準備}
\include{article/preliminaries}

\chapter{基本的計算体系}
\include{article/untyped-lambda}
\include{article/simply-typed-lambda}
\include{article/system-t}
\include{article/pcf}
\include{article/system-f}
\include{article/system-fomega}
\include{article/lambda-mu-calculus}
\include{article/lambda-bar-mu-mu-tilde}
\include{article/pi-calculus}

\chapter{基本的アルゴリズム}
\include{article/martelli-montanari-fo-unification}

\chapter{型検査と型推論}
\include{article/hm-type-system}
\include{article/hmx-type-system}
\include{article/outside-in-type-inference}
\include{article/ml-type-inference-by-hmx}
\include{article/bidirectional-type-checking-for-system-f}
\include{article/system-fc-with-explicit-kind-equality}

\chapter{モジュールとフェーズ分離}
\include{article/fing-modules-lightweight}
\include{article/fing-modules}
\include{article/1mlex-module-system}
\include{article/full1ml-module-system}

\chapter{制御演算}
\include{article/call-by-push-value}

\chapter{暗黙的パラメータと一貫性}

\chapter{レコードと多相生}

\chapter{静的メモリ管理とリージョン}

\chapter{動的メモリ管理とガベージコレクション}
\include{article/on-the-fly-gc-tri-color-cms}
\include{article/bitmap-freelist-memory-allocator}
\include{article/concurrent-gc-for-functional-programs}

\chapter{I/O 管理と並行性}

\chapter{コード生成と仮想機械}

\chapter{プログラム安定性と互換性}

\chapter{プログラム分割とリンク}

\chapter{構文解析}
\include{article/semantics-of-lr1}
\include{article/semantics-of-peg}
\include{article/haskell-parsing-grammar-with-peg}
\include{article/peg-cut-operation-optimization}
\include{article/srb-an-abstract-machine-of-peg}

\chapter{分析と最適化}

\chapter{メタプログラミングとマルチステージ化}

\chapter{ジェネリックプログラミング}

\chapter{応用的計算体系}

\chapter{実用的プログラミング言語: Strik}
\include{article/implementation-note-of-peg-parser}
\include{article/strik-syntax}
\include{article/strik-type-system}
\include{article/strik-module}

% foot contents
\include{article/reference}
\include{article/appendix}

\end{document}