type-systems.tex

\documentclass[a4paper]{book}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{hyperref}
\usepackage[type={CC},modifier={by},version={4.0}]{doclicense}
\usepackage{microtype}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{mathtools}
\usepackage{mathpartir}
\usepackage{stmaryrd} % for llbracket
\usepackage{enumitem} % for roman enumeration
\usepackage{tikz}
\usepackage{subcaption}
\usepackage{float}

\usepackage{tocbibind} % Bibliography in TOC
\usepackage[square]{natbib}
\bibliographystyle{plainnat}

% Our own macros and definitions
\usepackage{macros}

\title{Lecture Notes on Type Systems}
\author{
  Piotr Polesiuk \and
  Patrycja Balik \and
  Mikołaj Fornal \and
  Szymon Jędras \and
  Bartłomiej Królikowski \and
  Marcin Martowicz \and
  Kacper Misiaszek \and
  Mikołaj Swoboda
}
\date{\today}

\begin{document}
  \frontmatter
  \maketitle
  ~\vfill
  \doclicenseThis
  \tableofcontents
%  \include{chapter/preface.tex}

  \mainmatter
  \include{chapter/syntax.tex}
  \include{chapter/semantics.tex}
  \include{chapter/simpleTypes.tex}
  \include{chapter/logicalRelations.tex}
  \include{chapter/biorthogonality.tex}
  \include{chapter/polymorphism.tex}
  \include{chapter/dataAbstraction.tex}
  \include{chapter/typeReconstruction.tex}
  \include{chapter/recursiveTypes.tex}
  \include{chapter/modelingRecursion.tex}
  \include{chapter/higherOrderPolymorphism.tex}
  \include{chapter/subtyping.tex}
  \include{chapter/algebraicEffects.tex}
  \include{chapter/regions.tex}

  \bibliography{references}
\end{document}