System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System

Shane Fleming, David Thomas, George Constantinides, Dan Ghica

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System'. Together they form a unique fingerprint.

Keyphrases

Computer Science