Iraci, Grant
11  results:
Search for persons X
?
1

Validating IoT Devices with Rate-Based Session Types:

Iraci, Grant ; Chuang, Cheng-En ; Hu, Raymond.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 1589-1617 , 2023
 
?
3

Synchronous Message-Passing with Priority:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
 
?
4

A survey of real‐time capabilities in functional languages ..:

Murphy, Jeffrey C ; Shivkumar, Bhargav ; Pritchard, Amy...
Concurrency and Computation: Practice and Experience.  31 (2018)  4 - p. , 2018
 
?
 
?
 
1-11