Add some references to the context chapter.

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

diff --git a/Chapters/Context.tex b/Chapters/Context.tex
index 3c09d95316e5c9aacd4479be0af9cbc9a77a01c8..1b0268922932952500644424fb3916268881fef6 100644 (file)
--- a/Chapters/Context.tex
+++ b/Chapters/Context.tex
@@ -34,7 +34,6 @@
       and ability to abstract away  common patterns.  This is largely enabled
       by features like an advanced type system with polymorphism and higher
       order functions.
       and ability to abstract away  common patterns.  This is largely enabled
       by features like an advanced type system with polymorphism and higher
       order functions.

-      \todo{Does this apply to FHDLs equally?}

       \item Type-safer. Functional programs typically have a highly expressive
       type system, which makes it harder to write incorrect code.
       \item Easy to process. Functional languages have nice properties like
       \item Type-safer. Functional programs typically have a highly expressive
       type system, which makes it harder to write incorrect code.
       \item Easy to process. Functional languages have nice properties like


@@ -51,7 +50,7 @@
       \stopalignment
       \blank[medium]
      
       \stopalignment
       \blank[medium]
      

-      \startcitedquotation[hudak96]
+      \startcitedquotation[deursen00]

       A domain-specific language (\small{DSL}) is a program-
       ming language or executable specification language
       that offers, through appropriate notations and ab-
       A domain-specific language (\small{DSL}) is a program-
       ming language or executable specification language
       that offers, through appropriate notations and ab-


@@ -59,8 +58,6 @@
       ally restricted to, a particular problem domain.
       \stopcitedquotation
 
       ally restricted to, a particular problem domain.
       \stopcitedquotation
 

-      \todo{ref: http://portal.acm.org/citation.cfm?id=352035\&dl=}
-      

       An embedded \small{DSL} is a \small{DSL} that is embedded in
       another language. Haskell is commonly used to embed \small{DSL}s
       in, which typically means a number of Haskell functions and types
       An embedded \small{DSL} is a \small{DSL} that is embedded in
       another language. Haskell is commonly used to embed \small{DSL}s
       in, which typically means a number of Haskell functions and types


@@ -72,7 +69,7 @@
       applicative, subset of Haskell where the library functions are the
       primitives. Sometimes advanced haskell features such as
       polymorphism, higher order values or type classes can be used in
       applicative, subset of Haskell where the library functions are the
       primitives. Sometimes advanced haskell features such as
       polymorphism, higher order values or type classes can be used in

-      the embedded language.
+      the embedded language. \cite[hudak96]

       \stopframedtext
     }
 
       \stopframedtext
     }
 


@@ -89,8 +86,7 @@
       variables (\eg, using the same variable twice while only calculating it
       once) and cycles in circuits are non-trivial to properly and safely
       translate (though there is some work to fix this, but that has not been
       variables (\eg, using the same variable twice while only calculating it
       once) and cycles in circuits are non-trivial to properly and safely
       translate (though there is some work to fix this, but that has not been

-      possible in a completely reliable way yet.  \todo{ref
-      http://www.ittc.ku.edu/~andygill/paper.php?label=DSLExtract09}
+      possible in a completely reliable way yet. \cite[gill09]

       \item Some things are verbose to express. Especially ForSyDe suffers
       from a lot of notational overhead due to the Template Haskell approach
       used. Since conditional statements are not supported, a lot of Haskell's
       \item Some things are verbose to express. Especially ForSyDe suffers
       from a lot of notational overhead due to the Template Haskell approach
       used. Since conditional statements are not supported, a lot of Haskell's