# xp.memo / paper / paper.lhs

  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 \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}