@Inproceedings{EPTCS106.2,
  author    = {O'Donnell, John T.},
  year      = {2013},
  title     = {Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language},
  editor    = {Moraz\'an, Marco T. and Achten, Peter},
  booktitle = {{\rm Proceedings First International Workshop on}
               Trends in Functional Programming in Education,
               {\rm University of St. Andrews, Scotland, UK, 11th June 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {106},
  publisher = {Open Publishing Association},
  pages     = {20-39},
  doi       = {10.4204/EPTCS.106.2},
}