Source

xp.memo / paper / paper.lhs

Full commit
\begin{document}
\fancyhead{}
\fancyfoot{}

\fancyhead[LE,RO]{\slshape \rightmark}
\fancyhead[LO,RE]{\slshape \thepage\ - \leftmark}
\fancyfoot[C]{}
  
\maketitle



\section{Introduction}

  \subsection{Research question}
  The goal is first to be able to \emph{generically} memoise functions by using
  either |memo :: (a -> b) -> (a->b)| or |memoFix :: ((a -> b) -> (a -> b)) ->
  (a -> b)| that respectively memoise functions non-recursively and recursively.
  
  Secondly the goal is to implement pragma-driven memoisation in UHC (cite). And
  at last check whether the introduction of the memo-fix operator has any impact
  on optimisations.
  
\section{Previous work}
\cite{Hinze00memofunctions}, \cite{Jones99stretchingthe}, and
\cite{Kiselyov10funwith}

\section{Our contribution}

  \subsection{Generic Memoisation}
  
  \subsection{Implementation in UHC}
  
  \subsection{Effect analysis}

\section{Future work}

\section{Conclusion}

\bibliographystyle{plainnat}
\bibliography{references}


\end{document}