Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Stream Types

Joseph W. Cutler,Christopher Watson, Emeka Nkurumeh, Phillip Hilliard,Harrison Goldstein,Caleb Stanford,Benjamin C. Pierce

Proceedings of the ACM on Programming Languages（2024）

Cited 0|Views23
Key words
Type Systems,Stream Processing,Ordered Logic,Bunched Implication
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined