학술논문

A Type System for Safe Intermittent Computing
Document Type
Article
Source
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 6 June 2023, 7)
Subject
Language
English
ISSN
24751421