Published January 16, 2019
| Version v1
Poster
Open
Type-Level Latency Tracking with Placement Types
Description
We propose a language design which makes latency and locations explicit and extracts static type-level bounds for a computation's runtime latency.
Files
POPL19-SRC-Poster.pdf
Files
(214.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:2550f6cca2b56f5eb06987d1e90f49c7
|
214.1 kB | Preview Download |