Conclusion
Summary:¡ÈResource- & order-conscious¡É type system with linear channels & time tags
Future Work
- Type Inference Algorithm for Usage Annotations
(Cf. for time tag ordering [Kobayashi 97], for linear channels [Igarashi & Kobayashi 97])
- Aggressive Optimization by the Type Information
- Semantics of Time Tag Ordering
- Linear Logic with Sequencing Operator?