+@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}
+}
+