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

O'Donnell, J. (2013) Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language. In: International Workshop on Trends in Functional Programming in Education, St. Andrews, Scotland, 11 June 2012,

Full text not currently available from Enlighten.

Abstract

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.

Item Type:Conference Proceedings
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:O'Donnell, Dr John
Authors: O'Donnell, J.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record