Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language

John T. O'Donnell
(School of Computing Science, University of Glasgow)

A functional hardware description language enables students to gain a working understanding of computer systems, and to see how the levels of abstraction fit together. By simulating circuits, digital design becomes a living topic, like programming, and not just a set of inert facts to memorise. Experiences gained from more than 20 years of teaching computer systems via functional programming are discussed.

In Marco T. Morazán and Peter Achten: Proceedings First International Workshop on Trends in Functional Programming in Education (TFPIE 2012), University of St. Andrews, Scotland, UK, 11th June 2012, Electronic Proceedings in Theoretical Computer Science 106, pp. 20–39.
Published: 20th January 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.106.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org