tutorial.bib

@inproceedings {Farmer:10:WhatsTheMatter,
	title = {What{\textquoteright}s the matter with Kansas Lava?},
	booktitle = {Trends in Functional Programming},
	year = {2010},
	abstract = {Kansas Lava is a functional hardware description language implemented
in Haskell. In the course of attempting to generate ever larger circuits,
we have found the need to effectively test and debug the internals of
Kansas Lava. This includes confirming both the simulated behavior of the
circuit and its hardware realization via generated VHDL. In
this paper we share our approach to this problem, and discuss
the results of these efforts.
},
	url = {http://www.ittc.ku.edu/csdl/fpg/sites/default/files/Farmer-10-WhatsTheMatter.pdf},
	author = {Andrew Farmer and Garrin Kimmell and Andy Gill}
}

@article{elliott2003compiling,
  title={Compiling embedded languages},
  author={Elliott, C. and Finne, S. and De Moor, O.},
  journal={Journal of Functional Programming},
  volume={13},
  number={03},
  pages={455--481},
  year={2003},
  publisher={Cambridge Univ Press}
}

@article{carlson1993experiment,
  title={An experiment using Haskell to prototype “geometric region servers” for Navy command and control},
  author={Carlson, WE and Hudak, P. and Jones, MP},
  journal={Research Report},
  volume={1031},
  year={1993}
}

@article{carette2009finally,
  title={Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages},
  author={Carette, J. and Kiselyov, O. and Shan, C.},
  journal={Journal of Functional Programming},
  volume={19},
  number={05},
  pages={509--543},
  year={2009},
  publisher={Cambridge Univ Press}
}