equal
deleted
inserted
replaced
28 languages \isa{SML} \cite{SML}, \isa{OCaml} \cite{OCaml}, |
28 languages \isa{SML} \cite{SML}, \isa{OCaml} \cite{OCaml}, |
29 \isa{Haskell} \cite{haskell-revised-report} and \isa{Scala} |
29 \isa{Haskell} \cite{haskell-revised-report} and \isa{Scala} |
30 \cite{scala-overview-tech-report}. |
30 \cite{scala-overview-tech-report}. |
31 |
31 |
32 To profit from this tutorial, some familiarity and experience with |
32 To profit from this tutorial, some familiarity and experience with |
33 \hyperlink{theory.HOL}{\mbox{\isa{HOL}}} \cite{isa-tutorial} and its basic theories is assumed.% |
33 \isa{HOL} \cite{isa-tutorial} and its basic theories is assumed.% |
34 \end{isamarkuptext}% |
34 \end{isamarkuptext}% |
35 \isamarkuptrue% |
35 \isamarkuptrue% |
36 % |
36 % |
37 \isamarkupsubsection{Code generation principle: shallow embedding \label{sec:principle}% |
37 \isamarkupsubsection{Code generation principle: shallow embedding \label{sec:principle}% |
38 } |
38 } |