Practical and Safe Abstractions for Interactive Computation via Linearity

We propose abstractions and techniques for interactive or reactive computation that are generalpurpose, expressive, flexible, and that can enable writing efficient interactive programs. Our key interactivity abstraction is a factor: a co-inductive type that abstracts interaction as exchange of information and internal state change. To enable expressive and… CONTINUE READING