Add reference about Core's operational semantics.

[matthijs/master-project/report.git] / Chapters / Normalization.tex

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index f11788f4348fff5082a7a79bc5290057489b50d1..4f4ee15a12d6b8a4aac416d4f14bcac1fe0c090b 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -2354,9 +2354,9 @@
       To be able to formally show that each transformation properly
       preserves the meaning of every expression, we require an exact
       definition of the \emph{meaning} of every expression, so we can
-      compare them. Currently there seems to be no formal definition of
-      the meaning or semantics of \GHC's core language, only informal
-      descriptions are available.
+      compare them. A definition of the operational semantics of \GHC's Core
+      language is available \cite[sulzmann07], but this does not seem
+      sufficient for our goals (but it is a good start).
 
       It should be possible to have a single formal definition of
       meaning for Core for both normal Core compilation by \GHC and for