22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS

First Author: Lange, J
Attributed to:  Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract