diff options
Diffstat (limited to 'paper/intro-org.tex')
| -rw-r--r-- | paper/intro-org.tex | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/paper/intro-org.tex b/paper/intro-org.tex index 3fba1d3..34d45b1 100644 --- a/paper/intro-org.tex +++ b/paper/intro-org.tex @@ -6,13 +6,12 @@ the language While~\citep{proganal}. This example language is briefly described in \autoref{sec:intro:while}. Before discussing our interpreter, we discuss basic definitions that will be helpful in \autoref{sec:predefs}. Since extensive research has already been done into lexing and parsing \citep[see -e.g.][]{yard}, we skip these steps and assume we already have an abstract -syntax tree (AST). This AST is described in \autoref{sec:ast}. In +e.g.][]{monads,yard}, we skip these steps and assume we already have an +abstract syntax tree (AST). This AST is described in \autoref{sec:ast}. In \autoref{sec:eval} we discuss different possibilities of evaluating mathematical expressions. Finally, in \autoref{sec:interp} we propose a While interpreter. We finish by articulating the advantages of functional interpretation in \autoref{sec:concl}. \autoref{sec:ftypes} lists the functions and types that the reader is supposed -to know. If this is not the case: they can easily be looked up using -Cloogle~\citep{cloogle}. +to know. Affinity with monads is required. |