X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=methods.dsl.tex;h=9b8bf48cb77fe5fbe594b5367fa22a02a3b1aedb;hb=96c38eaced38e4a3cb8df44ec54b778a1dc11b24;hp=bf9953f3f3ae86b337c5cde65bb51eb911597bbf;hpb=8c6f463e3da3f3a2469b44f17705d633c988fee6;p=msc-thesis1617.git

diff --git a/methods.dsl.tex b/methods.dsl.tex
index bf9953f..9b8bf48 100644
--- a/methods.dsl.tex
+++ b/methods.dsl.tex
@@ -31,10 +31,11 @@ individually for all views.
 
 The first downside of the type of \gls{EDSL} can be overcome by using
 \glspl{GADT}\cite{cheney_first-class_2003}. Listing~\ref{lst:exdeepgadt} shows
-the same language, but type-safe with a \gls{GADT}\footnote{\glspl{GADT} are
-not supported in the current version of \gls{Clean} and therefore the syntax is
-artificial. However, \glspl{GADT} can be simulated using bimaps}. Unfortunately
-the lack of extendability stays a problem. If a language construct is added no
+the same language, but type-safe with a \gls{GADT}. \glspl{GADT} are not
+supported in the current version of \gls{Clean} and therefore the syntax is
+artificial. However, it has been shown that \glspl{GADT} can be simulated using
+bimaps or projection pairs\cite{cheney_lightweight_2002}. Unfortunately the
+lack of extendability stays a problem. If a language construct is added no
 compile time guarantee is given that all views support it.
 
 \begin{lstlisting}[language=Clean,label={lst:exdeepgadt},%