Research output per year
Research output per year
Research output
- 3 Conference contribution
Search results
-
2015
System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System
Fleming, S., Thomas, D., Constantinides, G. & Ghica, D., 22 Feb 2015, Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '15). Association for Computing Machinery , p. 214-217Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
2014
Bounded linear types in a resource semiring
Ghica, D. R. & Smith, A. I., 2014, Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Springer, Vol. 8410. p. 331-350 20 p. (Lecture Notes in Computer Science ; vol. 8410).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile22 Citations (Scopus)242 Downloads (Pure) -
Compiling Higher Order Functional Programs to Composable Digital Hardware
Pelaez, E. A., Bayliss, S., Smith, A., Winterstein, F., Ghica, D. R., Thomas, D. & Constantinides, G. A., 11 May 2014, IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM 2014), Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 234Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access2 Citations (Scopus)