An Embedded Language Approach to Teaching Hardware Compilation (2002)

by Koen Claessen, Gordon Pace
Venue:In Functional and Declarative Programming in Education, FDPE