Type-based cost analysis for lazy functional languages

Steffen Jost, Pedro Vasconcelos, Mário Florido, Kevin Hammond

Research output: Contribution to journal › Article › peer-review

2 results

Filter

Finished
Discovery: Pattern Discovery and Program: Discovery: Pattern Discovery and Program Shaping for Manycore Systems
Thomson, J. D. (PI), Hammond, K. (CoI) & Sarkar, S. (CoI)
EPSRC
1/07/17 → 31/12/20
Project: Standard
H2020 Collaboration REPHRASE: H2020 Collaboration 2014 - RePhrase
Hammond, K. (PI)
European Commission
1/04/15 → 31/03/18
Project: Standard