%documentclass{llncs}
\documentclass[runningheads,a4paper]{article}
%%% \usepackage[top=1.5cm,bottom=1.5cm,left=2.3cm,right=2cm]{geometry}

\pagestyle{plain}
\usepackage{times}
%\usepackage[nocompress]{cite} % AR: comment this out if you wish hyperrefs 

\usepackage{amsmath,amssymb, latexsym}

\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}

\usepackage{liquidHaskell}
\usepackage[inference]{semantic}

\newcommand\etal{et al.\xspace}

%\usepackage{subfigure}
%\usepackage{graphicx}
%\usepackage[usenames,dvipsnames]{color}
\usepackage{enumerate}
\def\url{}
\usepackage{xspace}
\usepackage{epsfig}
\usepackage{mathpartir}
\usepackage{booktabs}

%\usepackage{extarrows}
%\usepackage{pgf,tikz}
%\usetikzlibrary{arrows,automata}


\newcommand{\isTechReport}{false} % true or false
\newcommand{\includeProof}[1]{
  \ifthenelse{\equal{\isTechReport}{true}}{
    #1
  }{
  }
}

\newcommand{\at}{\makeatletter @\makeatother}

%%%%%\usepackage{fancyvrb}
%%%%%\DefineVerbatimEnvironment{code}{Verbatim}{fontsize=\small}
%%%%%\DefineVerbatimEnvironment{example}{Verbatim}{fontsize=\small}
%%%%%\newcommand{\ignore}[1]{}

% command to end a proof or definition:
%\def\qed{\rule{0.4em}{1.4ex}}
\def\qed{\hfill$\Box$}

% space at the beginning of an environment:
\def\@envspa{\hspace{0.3em}}
\def\@sa{\hspace{-0.2em}}
\def\@sb{\hspace{0.5em}}
\def\@sc{\hspace{-0.1em}}

\def\sk{\smallskip}		% space before and after theorems

\input{commands}
\input{haskellListings}



\sloppy
\newcommand\mytitle{LiquidHaskell: Liquid Types for Haskell} 

\newcommand\myauthor{Niki Vazou}
\newcommand\institution{University of California, San Diego}
\newcommand\myemail{nvazou\at cs.ucsd.edu}

\newcommand{\mymaketitle}{
  \begin{center}
  	{\LARGE\bf \mytitle \\ \vspace{1cm}}%
    {\Large \myauthor \\}%
 	{\large \myemail \\}%
  	{\large \institution \\}%
  \end{center}
  \par} 


\begin{document}
\mymaketitle
\begin{abstract}
\input{abstract}
\end{abstract}


\input{dependent}
\input{undecidable}
\input{liquid}
\input{abstract_refinements}
\input{tool}
\input{totality}
\input{termination}
\input{structures}
\input{evaluation}
\input{conclusion}

{
\bibliographystyle{plain}
\bibliography{sw}
}

\end{document}