Fix several textual errors and update conclusion

[matthijs/master-project/dsd-paper.git] / clash.bib

diff --git a/clash.bib b/clash.bib
index 7542f1d08417421fe8b8efc8b35de8c8de4f6c07..3b7d2b0e299ac6496ee8981fe6058938eb1400ee 100644 (file)
--- a/clash.bib
+++ b/clash.bib
@@ -92,6 +92,30 @@
   timestamp = {2010.02.26}
 }
 
+@UNPUBLISHED{kansaslava,
+  author = {Andy Gill and T. Bull and Garrin Kimmell and Erik Perrins and Ed
+       Komp and B. Werling},
+  title = {Introducing Kansas Lava},
+  note = {Submitted to The International Symposia on Implementation and Application
+       of Functional Languages (IFL){\textquoteright}09},
+  month = {November},
+  year = {2009},
+  abstract = {Kansas Lava is a domain specific language for hardware description.
+       Though there have been a number of previous implementations of Lava,
+       we have found the design space rich, with unexplored choices. We
+       use a direct (Chalmers style) specification of circuits, and make
+       significant use of Haskell overloading of standard classes, leading
+       to concise circuit descriptions. Kansas Lava supports both simulation
+       (inside GHCi), and execution via VHDL, by having a dual shallow and
+       deep embedding inside our Signal type. We also have a lightweight
+       sized-type mechanism, allowing for MATLAB style matrix based specifications
+       to be directly expressed in Kansas Lava.},
+  journal = {Submitted to IFL{\textquoteright}09},
+  owner = {baaijcpr},
+  timestamp = {2010.03.11},
+  url = {http://ittc.ku.edu/~andygill/papers/kansas-lava-ifl09.pdf}
+}
+
 @ARTICLE{reFLect,
   author = {Grundy,Jim and Melham,Tom and O'Leary,John},
   title = {{A reflective functional language for hardware design and theorem