Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

23904 Using rewriting to synthesize functional languages to digital circuits
Home Policy Brochure Browse Search User Area Contact Help

Baaij, C.P.R. and Kuper, J. (2014) Using rewriting to synthesize functional languages to digital circuits. In: 14th International Symposium Trends in Functional Programming, TFP 2013, 14-16 May 2013, Provo, UT, USA. pp. 17-33. Lecture notes in computer science 8322. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-45339-7

Full text available as:


341 Kb
Open Access

Official URL:

Exported to Metis


A straightforward synthesis from functional languages to digital circuits transforms variables to wires.
The types of these variables determine the bit-width of the wires.
Assigning a bit-width to polymorphic and function-type variables within this direct synthesis scheme is impossible.
Using a term rewrite system, polymorphic and function-type binders can be completely eliminated from a circuit description, given only minor and reasonable restrictions on the input.
The presented term rewrite system is used in the compiler for C\ensuremath{\lambda}aSH: a polymorphic, higher-order, functional hardware description language.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-CAES: Computer Architecture for Embedded Systems
Research Program:CTIT-WiSe: Wireless and Sensor Systems
Research Project:POLCA: Programming Large Scale Heterogeneous Infrastructures
ID Code:23904
Deposited On:28 January 2014
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item